Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
167 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
42 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Base-extension Semantics for Modal Logic (2401.13597v2)

Published 24 Jan 2024 in math.LO and cs.LO

Abstract: In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a `base' of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, KT , K4, and S4, with $\square$ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between $\square$ and a natural presentation of $\lozenge$. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (28)
  1. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2):510–530, 1985.
  2. The Logic of Public Announcements, Common Knowledge, and Private Suspicions. In I. Gilboa, editor, Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge, pages 43–56, 1998.
  3. Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.
  4. Robert Brandom. Articulating reasons: An introduction to inferentialism. Harvard University Press, 2009.
  5. Michael Dummett. The logical basis of metaphysics. Duckworth, London, 1991. Includes index.
  6. Gerhard Gentzen. Untersuchungen über das logische schließen. i. Mathematische Zeitschrift, 39(1):176–210, 1935.
  7. A. Gheorghiu and D. Pym. Definite formulae, negation-as-failure, and the base-extension semantics of intuitionistic propositional logic. Bulletin of the Section of Logic, in press, 2023. Manuscript: http://www0.cs.ucl.ac.uk/staff/D.Pym/NaFP-tS.pdf.
  8. Robert Goldblatt. Logics of Time and Computation. CSLI Publications, 1992.
  9. Warren Goldfarb. On Dummett’s “Proof-Theoretic Justifications of Logical Laws”. In Thomas Piecha and Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics, pages 195–210. Springer International Publishing, Cham, 2016.
  10. A correct polynomial translation of s4 into intuitionistic logic. The Journal of Symbolic Logic, 84(2):439–451, 2019.
  11. Saul A Kripke. A completeness theorem in modal logic1. The journal of symbolic logic, 24(1):1–14, 1959.
  12. Saul A Kripke. Semantical analysis of modal logic i normal modal propositional calculi. Mathematical Logic Quarterly, 9(5-6):67–96, 1963.
  13. David Makinson. On an inferential semantics for classical logic. Logic Journal of the IGPL, 22(1):147–154, 2014.
  14. Elliott Mendelson. Introduction to Mathematical Logic. Princeton: Van Nostrand, 1964.
  15. Atomic systems in proof-theoretic semantics: Two approaches. In Ángel Nepomuceno Fernández, Olga Pombo Martins, and Juan Redmond, editors, Epistemology, Knowledge and the Impact of Interaction, pages 47–62. Springer Verlag, 04 2016.
  16. The definitional view of atomic systems in proof-theoretic semantics. In The Logica Yearbook 2016. Universität Tübingen, 2017.
  17. Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics. Studia Logica, 107(1):233–246, 2019.
  18. Dag Prawitz. Natural Deduction: A Proof-Theoretical Study. Mineola, N.Y.: Dover Publications, 1965.
  19. Dag Prawitz. Ideas and results in proof theory. In J.E. Fenstad, editor, Proceedings of the Second Scandinavian Logic Symposium, volume 63 of Studies in Logic and the Foundations of Mathematics, pages 235–307. Elsevier, 1971.
  20. Dag Prawitz. Meaning approached via proofs. Synthese, 148:507–524, 2006.
  21. Henrik Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logic. In Stig Kanger, editor, Proceedings of the Third Scandinavian Logic Symposium, volume 82 of Studies in Logic and the Foundations of Mathematics, pages 110–143. Elsevier, 1975.
  22. Tor Sandqvist. An Inferentialist Interpretation of Classical Logic. Uppsala prints and preprints in philosophy. Univ., Department of Philosophy, 2005.
  23. Tor Sandqvist. Classical logic without bivalence. Analysis, 69(2):211–218, 2009.
  24. Tor Sandqvist. Base-extension semantics for intuitionistic sentential logic. Logic Journal of the IGPL, 23(5):719–731, 2015.
  25. Tor Sandqvist. Atomic bases and the validity of Peirce’s law, presentation given at “The meaning of proofs” World Logic Day. url: https://drive.google.com/file/d/1fX8PWh8w2cpOkYS39zR2OGfNEhQESKkl/view, 2022.
  26. Peter Schroeder-Heister. Validity concepts in proof-theoretic semantics. Synthese, 148(3):525–571, 2006.
  27. Peter Schroeder-Heister. Proof-theoretic versus model-theoretic consequence. In Michal Pelis, editor, The Logica Yearbook 2007, 2008.
  28. Following all the rules: intuitionistic completeness for generalized proof-theoretic validity. Analysis, page anac100, 07 2023.
Citations (4)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now
X Twitter Logo Streamline Icon: https://streamlinehq.com

Tweets