The following pages link to Constructive modal logics. I (Q750417):
Displaying 26 items.
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Dynamic order algebras as an axiomatization of modal and tense logics (Q904480) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- 2-sequent calculus: A proof theory of modalities (Q1207545) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- Monad as modality (Q1392142) (← links)
- Tense operators in fuzzy logic (Q1677045) (← links)
- Galois connections and tense operators on q-effect algebras (Q1677935) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Terminating calculi and countermodels for constructive modal logics (Q2142091) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Tableaux for constructive concurrent dynamic logic (Q2488268) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464) (← links)
- (Q4963134) (← links)
- Constructive Game Logic (Q5041088) (← links)
- (Q5119390) (← links)
- Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) (Q5277900) (← links)
- 2005 Annual Meeting of the Association for Symbolic Logic (Q5479571) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)