Prefixed tableaus and nested sequents

  title={Prefixed tableaus and nested sequents},
  author={Melvin Fitting},
  journal={Ann. Pure Appl. Logic},
Nested sequent systems for modal logics are a relatively recent development, within the general area known as deep reasoning. The idea of deep reasoning is to create systems within which one operates at lower levels in formulas than just those involving the main connective or operator. Prefixed tableaus go back to 1972, and are modal tableau systems with extra machinery to represent accessibility in a purely syntactic way. We show that modal nested sequents and prefixed modal tableaus are… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 24 references

First-Order Modal Logic

  • M. C. Fitting, R. Mendelsohn
  • Kluwer, 1998. Paperback
  • 1999
Highly Influential
6 Excerpts

First-Order Logic

  • R. M. Smullyan
  • Springer-Verlag, Berlin, 1968. Revised Edition…
  • 1994
Highly Influential
3 Excerpts

Proof Methods for Modal and Intuitionistic Logics

  • M. C. Fitting
  • D. Reidel Publishing Co., Dordrecht
  • 1983
Highly Influential
5 Excerpts

Fitting . Justification logic

  • E. N. Zalta
  • 2010

Justification logic

  • S. N. Artemov, M. C. Fitting
  • E. N. Zalta, editor, Stanford Encyclopedia of…
  • 2010
1 Excerpt

Similar Papers

Loading similar papers…