16 Modal logic in mathematics

https://doi.org/10.1016/S1570-2464(07)80019-XGet rights and content

Publisher Summary

Formal modal logic is mostly mathematical in its methods, regardless of area of application. This chapter presents a wide variety of mathematical techniques developed over decades of studying the intricate details of modal logic. Mathematics normally finds a proper language and level of abstraction for the study of its objects. Propositional modal logic offers a new paradigm of applying logical methods: instead of using the traditional languages with quantification to describe a structure, an appropriate quantifier-free language with additional logic operators that represent the phenomenon at hand, is used. Mathematics is one of modal logic's oldest application areas. There are two major ideas that dominate the landscape of modal logic application in mathematics: Gödel's provability semantics and Tarski's topological semantics. Gödel's use of modal logic to describe provability, gave the first exact semantics of modality. This approach led to comprehensive provability semantics for a broad class of modal logics. It also proved vital for applications such as the Brouwer–Heyting–Kolmogorov provability semantics for intuitionistic logic, for introducing justification into formal epistemology and tackling its logical omniscience problem, and for introducing self reference into combinatory logic and lambda-calculi.

Bibliography (271)

  • AielloM

    Spatial reasoning: theory and practice

  • AielloM. et al.

    A modal walk through space

    Journal of Applied Non-Classical Logics

    (2002)
  • AielloM. et al.

    Reasoning about space: the modal way

    Journal of Logic and Computation

    (2003)
  • AntonakosE

    Justified knowledge is sufficient

    Technical Report TR-2006004

    (2006)
  • ArecesC et al.

    The computational complexity of hybrid temporal logics

    Logic Journal of IGPL

    (2000)
  • ArtemovS

    Extensions of arithmetic and modal logics

  • ArtemovS
  • ArtemovS

    Nonarithmeticity of truth predicate logics of provability, Soviet Mathematics Doklady

    (1985)
  • ArtemovS

    On modal logics axiomatizing provability, Izvestiya Akademii Nauk SSSR

  • ArtemovS

    Numerically correct provability logics

    Soviet Mathematics Doklady

    (1987)
  • ArtemovS

    Kolmogorov logic of problems and a provability interpretation of intuitionistic logic

    Theoretical Aspects of Reasoning about Knowledge — III Proceedings

    (1990)
  • ArtemovS

    Operational modal logic

  • ArtemovS

    Logic of Proofs: a unified semantics for modality and X-terms

  • ArtemovS

    Explicit provability and constructive semantics

    The Bulletin of Symbolic Logic

    (2001)
  • ArtemovS

    Operations on proofs that can be specified by means of modal logic

  • ArtemovS

    Unified semantics for modality and λ-terms via proof polynomials

  • ArtemovS

    Embedding of modal λ-calculus into the Logic of Proofs

    Proceedings of the Steklov Mathematical Institute

    (2003)
  • ArtemovS

    Evidence-based common knowledge

    Technical Report TR-2004018

    (2004)
  • ArtemovS

    Kolmogorov and Gödel's approach to intuitionistic logic: current developments

    Russian Mathematical Surveys

    (2004)
  • ArtemovS

    Existential semantics for modal logic

  • ArtemovS. et al.

    On propositional quantifiers in provability logic

    Notre Dame Journal of Formal Logic

    (1993)
  • ArtemovS. et al.

    Provability Logic

  • ArtemovS. et al.

    Modal logics and topological semantics for hybrid systems

  • ArtemovS. et al.

    The basic intuitionistic logic of proofs

    Technical Report TR-2005002, CUNY Ph.D. Program in Computer Science

    (2005)
  • ArtemovS. et al.

    Logical omniscience via proof complexity

    Technical Report TR-2006005, CUNY Ph.D. Program in Computer Science

    (2006)
  • ArtemovS. et al.

    Epistemic logic with justifications

  • ArtemovS. et al.

    Logic of knowledge with justifications from the provability perspective

    Technical Report TR-2004011

    (2004)
  • ArtemovS. et al.

    Introducing justification to epistemic logic

    Journal of Logic and Com- putation

    (2005)
  • ArtemovS. et al.

    On epistemic logic with justification

  • ArtemovS. et al.

    The basic logic of proofs

    Selected Papers

    Lecture Notes in Computer Science

    (1992)
  • ArtemovS. et al.

    Functionality in the basic logic of proofs

  • ArtemovS. et al.

    The logic of the Gödel proof predicate

  • ArtemovS. et al.

    On the first-order logic of proofs

    Moscow Mathematical Journal

    (2001)
  • AvronA

    On modal systems having arithmetical interpretations

    The Journal of Symbolic Logic

    (1984)
  • BalbianiP. et al.

    Modal logics for parallelism, orthogonality, and affine geometries

    Journal of Applied Non-classical Logics, Special issue on Spatial Reasoning

    (2002)
  • BaltagA

    STS: A Structural Theory of Sets

  • BaltagA

    STS: a structural theory of sets

  • BarwiseJ. et al.
  • BeklemishevL

    On the classification of propositional provability logics

    Izvestiya Akademii Nauk SSSR, ser. mat.

    (1989)

    Russian. English translation in Math

    USSR Izvestiya

    (1990)
  • BeklemishevL

    On bimodal logics of provability

    Annals of Pure and Applied Logic

    (1994)
  • Cited by (2)

    View full text