Skip to main content
SpringerLink
Log in
Book cover

Gentzen Calculi for Modal Propositional Logic pp 75–100Cite as

Semantic Methods

  • Chapter
  • First Online:

  • 958 Accesses

Part of the book series: Trends in Logic ((TREN,volume 32))

Abstract

As noted in Section 2.3, there are two types of methods for extending the ordinary sequent calculus: the first type modifies the structure of the classical sequent in a purely syntactic fashion (see the previous chapter); the second type enriches a classical sequent by adjoining semantic elements. This chapter will be entirely dedicated to the analysis of the calculi generated by means of this latter method.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   119.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   159.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   159.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. L. Catach. Tableaux: A general theorem prover for modal logic. Journal of Automated Reasoning, 7:489–510, 1991.

    Article  Google Scholar 

  2. C. Cerrato. Cut-free modal sequents for normal modal logics. Notre Dame Journal of Formal Logic, 34:564–582, 1993.

    Article  Google Scholar 

  3. C. Cerrato. Modal sequents for normal modal logics. Mathematical Logic Quarterly, 39:231–240, 1993.

    Article  Google Scholar 

  4. C. Cerrato. Modal sequents. In H. Wansing, editor, Proof Theory of Modal Logic, pp. 141–166. Kluwer Academic Publisher, Dordrecht, 1996.

    Google Scholar 

  5. C. Cerrato. Modal tree-sequents. Mathematical Logic Quarterly, 42:197–210, 1996.

    Article  Google Scholar 

  6. M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht, 1983.

    Google Scholar 

  7. D. Gabbay. Labelled Deductive Systems: Volume 1. Foundations. Oxford University Press, Oxford, 1996.

    Google Scholar 

  8. J.-Y. Girard. Proof Theory and Logical Complexity, Volume 1. Bibliopolis, Napoli, 1987.

    Google Scholar 

  9. R. Goré. Tableau methods for modal and temporal logics. In M. D’Agostino, D. M. Gabbay, R. Hähnle, and J. Posegga, editors, Handbook of Tableau Methods, pp. 297–396. Kluwer Academic Publisher, Dordrecht, 1999.

    Google Scholar 

  10. G. E. Hughes and M. J. Cresswell. A New Introduction to Modal Logic. Routledge, London-New York, 1996.

    Book  Google Scholar 

  11. S. Kanger. Provability in Logic. Almqvist and Wiskell, Stockholm, 1957.

    Google Scholar 

  12. S. Kripke. Semantical analysis of modal logic I: Normal modal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 11:3–16, 1968.

    Article  Google Scholar 

  13. H. Kushida and M. Okada. A proof-theoretic study of the correspondence of classical logic and modal logic. Journal of Symbolic Logic, 68:1403–1414, 2003.

    Article  Google Scholar 

  14. G. Mints. Indexed systems of sequents and cut-elimination. Journal of Philosophical Logic, 26:671–696, 1997.

    Article  Google Scholar 

  15. S. Negri. Contraction-free sequent calculi for geometric theories, with an application to Barr’s theorem. Archives of Mathematical Logic, 42:389–401, 2003.

    Article  Google Scholar 

  16. S. Negri. Proof analysis in modal logic. Journal of Philosophical Logic, 34:507–544, 2005.

    Article  Google Scholar 

  17. S. Negri and J. von Plato. Structural Proof Theory. Cambridge University Press, Cambridge, 2004.

    Google Scholar 

  18. A. Nerode. Some lectures on modal logic. In F. L. Bauer, editor, Logic, Algebra and Computation, pp. 281–334. NATO Science Series, Springer, Amsterdam, Berlin, Oxford, Tokyo, Washington DC, 1991.

    Google Scholar 

  19. H. Ohlbach. Semantic-based translation methods for modal logics. Journal of Logic and Computation, 1:691–746, 1991.

    Article  Google Scholar 

  20. E. Orlowska. Relational proof systems for modal logics. In H. Wansing, editor, Proof Theory of Modal Logic, pp. 55–77. Kluwer Academic Publisher, Dordrecht, 1996.

    Google Scholar 

  21. E. Orlowska. Relational interpretations of modal logics. In H. Andreka, D. Monk, and I. Nemeti, editors, Algebraic Logic. Colloquia Mathematica Societatis Janos Bolyai, pp. 443–471. North Holland, Amsterdam, 1998.

    Google Scholar 

  22. A. Pliuškevičiene. Cut-free calculus for modal logics containing the Barcan axiom. In M. Kracht, M. de Rijke, and H. Wansing, editors, Advances in Modal Logic ’96, pp. 157–172. CSLI Publications, Stanford, 1998.

    Google Scholar 

  23. A. Pliuškevičiene. Extended disjunction and existence properties for some predicate modal logics. Journal of the IGPL, 6:775–787, 1998.

    Article  Google Scholar 

  24. G. Restall. Comparing modal sequent systems. Unpublished manuscript, pp. 1–13, 2006.

    Google Scholar 

  25. A. Simpson. Proof Theory and Semantics of Intuitionistic Modal Logic. Ph.D. Thesis, School of Informatics, University of Edinburgh, Edinburgh, 1994.

    Google Scholar 

  26. L. Viganò. Labelled Non-Classical Logics. Kluwer, Boston-Dordrecht-London, 2000.

    Google Scholar 

  27. L. Viganò, D. Basin, and S. Matthews. Natural deduction for non-classical logics. Studia Logica, 60:119–160, 1998.

    Article  Google Scholar 

  28. L. Viganò, P. Mateus, A. Sernadas, and C. Sernadas. Modal sequent calculi labelled with truth values: Completeness, duality and analyticity. Logic Journal of IGPL, 12:227–274, 2004.

    Article  Google Scholar 

  29. L. Wallen. Automated Deductions in Non-classical Logics. MIT Press, Cambridge, Massachusetts, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. VRIJE UNIVERSITEIT BRUSSEL CLWF/LW, Pleinlaan 2, B-1050, Brussels, Belgium

    Francesca Poggiolesi

Authors
  1. Francesca Poggiolesi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francesca Poggiolesi .

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer Science+Business Media B.V.

About this chapter

Cite this chapter

Poggiolesi, F. (2010). Semantic Methods. In: Gentzen Calculi for Modal Propositional Logic. Trends in Logic, vol 32. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-9670-8_4

Download citation

Publish with us

Policies and ethics

Search

Navigation