Prefixed tableaus and nested sequents

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

Explicit Provability and Constructive Semantics

Sergei Artëmov · Bulletin of Symbolic Logic · 2001 · 449 citations

Computing, Computer Science, Mathematics +14

Handbook of Modal Logic

Patrick Blackburn, Johan van Benthem, Frank Wolter · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 426 citations

Humanities, Computer Science, Mathematics +12

Proof Analysis in Modal Logic

Sara Negri · Journal of Philosophical Logic · 2005 · 308 citations

Computing, Computer Science, Formal Methods +9

The logic of proofs, semantically

Melvin Fitting · Annals of Pure and Applied Logic · 2004 · 270 citations

Humanities, Mathematics, Formal Methods +9