Provability interpretations of modal logic

1976/09/01 by Robert M. Solovay, Robert M Solovay · 20 citations
Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems

paper · doi:10.1007/bf02757006

Cited by

• On inclusions between quantified provability logics
• Provability interpretation of non-normal modal logics having neighborhood semantics
• Modal logical aspects of provability predicates and consistency statements
• Sequent Calculi for Intuitionistic Gödel–Löb Logic
• T-BAT semantics and its logics
• Lewisian Fixed Points I: Two Incomparable Constructions
• Provability Models
• Nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength
• From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
• Kleene's Amazing Second Recursion Theorem
• Proof Theory for Intuitionistic Strong Löb Logic
• Modal completeness of sublogics of the interpretability logic IL
• A Note on Fixed Points in Justification Logics and the Surprise Test\n Paradox
• On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic GL
• Succinctness in subsystems of the spatial mu-calculus
• Refinements of provability and consistency principles for the second incompleteness theorem
• Labelled tableaux for interpretability logics
• A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
• On Elementary Theories of GLP-Algebras
• Mathematical logic [wikipedia]