Pages that link to "Item:Q1244216"
From MaRDI portal
The following pages link to On some intuitionistic modal logics (Q1244216):
Displaying 39 items.
- Intuitionistic common knowledge or belief (Q334160) (← links)
- Extending possibilistic logic over Gödel logic (Q622285) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- Constructive modal logics. I (Q750417) (← links)
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342) (← links)
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics (Q910395) (← links)
- Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- On logics with coimplication (Q1272827) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
- A strong completeness theorem in intuitionistic quantified modal logic (Q1841473) (← links)
- On the interpolation property of some intuitionistic modal logics (Q1913298) (← links)
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- Construction of a monadic Heyting algebra in a logos (Q2373968) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464) (← links)
- A first approach to abstract modal logics (Q4205420) (← links)
- The Semantic Completeness of a Global Intuitionistic Logic (Q4393167) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Negative Modalities in the Light of Paraconsistency (Q5350350) (← links)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS (Q5879191) (← links)
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
- Subordinations on bounded distributive lattices (Q6105027) (← links)
- On intuitionistic diamonds (and lack thereof) (Q6541158) (← links)
- Intuitionistic public announcement logic with distributed knowledge (Q6562369) (← links)
- One variable relevant logics are S5Ish (Q6606834) (← links)
- Algebras and relational frames for Gödel modal logic and some of its extensions (Q6623950) (← links)
- Universal proof theory: feasible admissibility in intuitionistic modal logics (Q6652040) (← links)
- Another combination of classical and intuitionistic conditionals (Q6659907) (← links)
