MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS

DOI10.1017/jsl.2021.102OpenAlexW3137468761MaRDI QIDQ5879191

Julia Ilin, Guram Bezhanishvili, Kristina Leifeste Brantley

Publication date: 27 February 2023

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2103.11480

zbMATH Keywords

modal logicfinite model propertyintuitionistic logicprovability interpretationpredicate logicsGödel translationmonadic logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Intermediate logics (03B55)

Cites Work

• Intuitionistic logic and modality via topology
• Quantification in nonclassical logic. Volume I.
• Decidable and enumerable predicate logics of provability
• The predicate modal logic of provability
• Provability interpretations of modal logic
• On modal logic with an intuitionistic base
• On some intuitionistic modal logics
• The finite model property for MIPQ and some consequences
• Varieties of monadic Heyting algebras. II: Duality theory
• Many-dimensional modal logics: theory and applications
• Varieties of monadic Heyting algebras. I
• Varieties of monadic Heyting algebras. III
• A modal extension of intuitionist logic
• On systems of modal logic with provability interpretations
• Arithmetical necessity, provability and intuitionistic logic
• Logics containing K4. Part I
• MIPC as the formalisation of an intuitionist concept of modality
• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS