scientific article; zbMATH DE number 1303434
From MaRDI portal
Publication:4250043
Recommendations
Cited in
(67)- An application of Rieger-Nishimura formulas to the intuitionistic modal logics
- On logics with coimplication
- A uniform tableau method for intuitionistic modal logics. I
- Modified neighborhood semantics for Kaminski logic
- Finite model property for an intuitionistic modal logic
- Lewis meets Brouwer: constructive strict implication
- Intensional completeness in an extension of Gödel/Dummett logic
- Basic intuitionistic conditional logic
- The Došen square under construction: a tale of four modalities
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- Constructive and mechanised meta-theory of intuitionistic epistemic logic
- A Lindström theorem for intuitionistic propositional logic
- Algebraic modal correspondence: Sahlqvist and beyond
- Discovering knowability: a semantic analysis
- A general method for proving decidability of intuitionistic modal logics
- One-variable fragments of intermediate logics over linear frames
- A framework for intuitionistic grammar logics
- An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
- Which classical correspondence is valid in intuitionistic modal logic?
- A modal logic amalgam of classical and intuitionistic propositional logic
- On classical behavior of intuitionistic modalities
- A note concerning the intuitionistic modal logic \({\text{\textbf{IMK}}}_k\)
- scientific article; zbMATH DE number 3853039 (Why is no real title available?)
- Completeness for non normal intuitionistic modal logics
- Intuitionistic epistemology and modal logics of verification
- scientific article; zbMATH DE number 4139714 (Why is no real title available?)
- scientific article; zbMATH DE number 3941511 (Why is no real title available?)
- scientific article; zbMATH DE number 3950488 (Why is no real title available?)
- scientific article; zbMATH DE number 3963793 (Why is no real title available?)
- Intuitionistic tense and modal logic
- scientific article; zbMATH DE number 4123703 (Why is no real title available?)
- A modal view of linear logic
- scientific article; zbMATH DE number 1735873 (Why is no real title available?)
- scientific article; zbMATH DE number 1735874 (Why is no real title available?)
- scientific article; zbMATH DE number 2024611 (Why is no real title available?)
- scientific article; zbMATH DE number 1791673 (Why is no real title available?)
- Axiomatization of intuitionistic logics defined by small frames
- Sahlqvist via translation
- scientific article; zbMATH DE number 1377706 (Why is no real title available?)
- On the Finite Model Property of Intuitionistic Modal Logics over MIPC
- scientific article; zbMATH DE number 834561 (Why is no real title available?)
- Intuitionistic modal logic with a Galois connection has the finite model property
- scientific article; zbMATH DE number 1418447 (Why is no real title available?)
- scientific article; zbMATH DE number 1431908 (Why is no real title available?)
- From intuitionism to Brouwer's modal logic
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Modal meet-implication logic
- scientific article; zbMATH DE number 7204446 (Why is no real title available?)
- scientific article; zbMATH DE number 7307099 (Why is no real title available?)
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
- On constructive fragments of classical logic
- On the Blok-Esakia theorem
- Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
- Intuitionistic predicate logic with decidable propositional atoms
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- CoNP complexity for combinations of non-normal modal logics
- Two-dimensional Kripke semantics i: presheaves
- Intuitionistic \textsf{S4} as a logic of topological spaces
- Polytime embedding of intuitionistic modal logics into their one-variable fragments
- Intuitionistic epistemic logic, Kripke models and Fitch's paradox
- Minimal modal logics, constructive modal logics and their relations
- A Sahlqvist theorem for distributive modal logic
- Stable canonical rules for intuitionistic modal logics
- Intuitionistic monotone modal logic via translation
- Constructive linear-time temporal logic: proof systems and Kripke semantics
- Intuitionistic non-normal modal logics: a general framework
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4250043)
