A bi-intuitionistic modal logic: foundations and automation

DOI10.1016/j.jlamp.2015.11.003zbMath1359.03018OpenAlexW2224519702WikidataQ57949639 ScholiaQ57949639MaRDI QIDQ299186

Renate A. Schmidt, John G. Stell, David E. Rydeheard

Publication date: 22 June 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.11.003

zbMATH Keywords

decidabilitytemporal logicbi-intuitionistic logiccorrespondence theoremtableau system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

Hennessy-Milner properties via topological compactness ⋮ \(L\)-fuzzy relational mathematical morphology based on adjoint triples ⋮ Expressing discrete spatial relations under granularity ⋮ On Displaying Negative Modalities ⋮ Unnamed Item ⋮ Blocking and other enhancements for bottom-up model generation methods

Uses Software

• MetTeL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Self-dual morphological operators and filters.
• A formalization of the propositional calculus of H-B logic
• Bi-Heyting algebras, toposes and modalities
• Symmetric Heyting relation algebras with applications to hypergraphs
• Relations on Hypergraphs
• Handbook of Spatial Logics
• A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
• Blocking and Other Enhancements for Bottom-Up Model Generation Methods
• Constructive negation, implication, and co-implication
• A ModalWalk Through Space
• Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
• A description logic with transitive and inverse roles and role hierarchies
• Using tableau to decide description logics with full role negation and identity
• Automated Synthesis of Tableau Calculi

This page was built for publication: A bi-intuitionistic modal logic: foundations and automation