Constructive modal logics. I

DOI10.1016/0168-0072(90)90059-BzbMath0714.03016MaRDI QIDQ750417

Duminda Wijesekera

Publication date: 1990

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

concurrent programscompletenesscut eliminationKripke semanticsintuitionistic predicate logic plus Gentzen-type rules for K-modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)

Related Items (27)

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) ⋮ Constructive Game Logic ⋮ A dual-context sequent calculus for the constructive modal logic S4 ⋮ Intuitionistic non-normal modal logics: a general framework ⋮ Terminating calculi and countermodels for constructive modal logics ⋮ The Došen square under construction: a tale of four modalities ⋮ Unnamed Item ⋮ Tense operators in fuzzy logic ⋮ Galois connections and tense operators on q-effect algebras ⋮ Monad as modality ⋮ Towards an intuitionistic deontic logic tolerating conflicting obligations ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ Dynamic order algebras as an axiomatization of modal and tense logics ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Algebraic axiomatization of tense intuitionistic logic ⋮ Proof-theoretical investigation of temporal logic with time gaps ⋮ 2-sequent calculus: A proof theory of modalities ⋮ Tableaux for constructive concurrent dynamic logic ⋮ Towards constructive DL for abstraction and refinement ⋮ A general method for proving decidability of intuitionistic modal logics ⋮ Unnamed Item ⋮ 2005 Annual Meeting of the Association for Symbolic Logic ⋮ Cut-free Gentzen calculus for multimodal CK ⋮ Constructive linear-time temporal logic: proof systems and Kripke semantics ⋮ Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics ⋮ Constructive hybrid games ⋮ A uniform tableau method for intuitionistic modal logics. I

Cites Work

• Proof methods for modal and intuitionistic logics
• Communication in concurrent dynamic logic
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• Modality and possibility in some intuitionistic modal logics
• An elementary proof of the completeness of PDL
• Semantical investigations in Heyting's intuitionistic logic
• Application of modal logic to programming
• Domain theory in logical form
• Constructivism in mathematics. An introduction. Volume I
• On modal logic with an intuitionistic base
• On some intuitionistic modal logics
• Semantical analysis of constructive PDL
• Axioms of infinity of set theory
• Intuitionistic tense and modal logic
• Concurrent dynamic logic
• Alternation
• An axiomatic basis for computer programming
• MIPC as the formalisation of an intuitionist concept of modality
• 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: Constructive modal logics. I