16 Modal logic in mathematics
Bibliography (271)
Logic of proofs
Annals of Pure and Applied Logic
(1994)Justified Common Knowledge
Theoretical Computer Science
(2006)The Worm principle
- et al.
Provability, complexity, grammars
American Mathematical Society Translations
(1999) - et al.
Some results on modal axiomatization and definability for topological spaces
Studia Logica
(2005) Infinitary combinatorics and modal logic
The Journal of Symbolic Logic
(1990)- et al.
Much shorter proofs: a bimodal investigation, Zeitschrift f. math
Logik und Grundlagen d. Math.
(1990) - et al.
Reasoning About Knowledge
(1995) - et al.
Topological model theory
Algebraic analysis of the Gödel-Löb modal system
Spatial reasoning: theory and practice
A modal walk through space
Journal of Applied Non-Classical Logics
(2002)
Reasoning about space: the modal way
Journal of Logic and Computation
(2003)
Justified knowledge is sufficient
Technical Report TR-2006004
(2006)
The computational complexity of hybrid temporal logics
Logic Journal of IGPL
(2000)
Extensions of arithmetic and modal logics
Nonarithmeticity of truth predicate logics of provability, Soviet Mathematics Doklady
(1985)
On modal logics axiomatizing provability, Izvestiya Akademii Nauk SSSR
Numerically correct provability logics
Soviet Mathematics Doklady
(1987)
Kolmogorov logic of problems and a provability interpretation of intuitionistic logic
Theoretical Aspects of Reasoning about Knowledge — III Proceedings
(1990)
Operational modal logic
Logic of Proofs: a unified semantics for modality and X-terms
Explicit provability and constructive semantics
The Bulletin of Symbolic Logic
(2001)
Operations on proofs that can be specified by means of modal logic
Unified semantics for modality and λ-terms via proof polynomials
Embedding of modal λ-calculus into the Logic of Proofs
Proceedings of the Steklov Mathematical Institute
(2003)
Evidence-based common knowledge
Technical Report TR-2004018
(2004)
Kolmogorov and Gödel's approach to intuitionistic logic: current developments
Russian Mathematical Surveys
(2004)
Existential semantics for modal logic
On propositional quantifiers in provability logic
Notre Dame Journal of Formal Logic
(1993)
Provability Logic
Modal logics and topological semantics for hybrid systems
The basic intuitionistic logic of proofs
Technical Report TR-2005002, CUNY Ph.D. Program in Computer Science
(2005)
Logical omniscience via proof complexity
Technical Report TR-2006005, CUNY Ph.D. Program in Computer Science
(2006)
Epistemic logic with justifications
Logic of knowledge with justifications from the provability perspective
Technical Report TR-2004011
(2004)
Introducing justification to epistemic logic
Journal of Logic and Com- putation
(2005)
On epistemic logic with justification
The basic logic of proofs
Selected Papers
Lecture Notes in Computer Science
(1992)
Functionality in the basic logic of proofs
The logic of the Gödel proof predicate
On the first-order logic of proofs
Moscow Mathematical Journal
(2001)
On modal systems having arithmetical interpretations
The Journal of Symbolic Logic
(1984)
Modal logics for parallelism, orthogonality, and affine geometries
Journal of Applied Non-classical Logics, Special issue on Spatial Reasoning
(2002)
STS: A Structural Theory of Sets
STS: a structural theory of sets
On the classification of propositional provability logics
Izvestiya Akademii Nauk SSSR, ser. mat.
(1989)
Russian. English translation in Math
USSR Izvestiya
(1990)
On bimodal logics of provability
Annals of Pure and Applied Logic
(1994)
Cited by (2)
A modal logic framework for reasoning about comparative distances and topology
2010, Annals of Pure and Applied LogicAnalyzing completeness of axiomatic functional systems for temporal × modal logics
2010, Mathematical Logic Quarterly
Copyright © 2007 Elsevier B.V. All rights reserved.