Pages that link to "Item:Q1240729"
From MaRDI portal
The following pages link to On modal logic with an intuitionistic base (Q1240729):
Displayed 29 items.
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Constructive modal logics. I (Q750417) (← links)
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Models for normal intuitionistic modal logics (Q1096612) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- Intuitionism and the modal logic of vagueness (Q1986078) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
- Hilbert algebras with a modal operator \(\diamondsuit\) (Q2350975) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- Implication via spacetime (Q2658280) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- On classical behavior of intuitionistic modalities (Q2987729) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- (Q4625704) (← links)
- Almost duplication-free tableau calculi for prepositional lax logics (Q4645225) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- On the Finite Model Property of Intuitionistic Modal Logics over MIPC (Q4704648) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS (Q5879191) (← links)
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)
- Semiproducts, products, and modal predicate logics: some examples (Q6123100) (← links)