A bi-intuitionistic modal logic: foundations and automation

DOI10.1016/J.JLAMP.2015.11.003zbMATH Open1359.03018OpenAlexW2224519702WikidataQ57949639 ScholiaQ57949639MaRDI QIDQ299186FDOQ299186

Authors: John G. Stell, Renate A. Schmidt, David 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

Recommendations

• Tableau Development for a Bi-intuitionistic Tense Logic
• BDD-based automated reasoning for propositional bi-intuitionistic tense logics
• Cut-elimination and proof search for bi-intuitionistic tense logic
• A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
• Bi-simulating in bi-intuitionistic logic

zbMATH Keywords

decidabilitytemporal logicbi-intuitionistic logiccorrespondence theoremtableau system

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 modal walk through space
• Modal logics based on mathematical morphology for qualitative spatial reasoning
• A description logic with transitive and inverse roles and role hierarchies
• Title not available (Why is that?)
• Using tableau to decide description logics with full role negation and identity
• Automated synthesis of tableau calculi
• Self-dual morphological operators and filters.

Cited In (8)

• Blocking and other enhancements for bottom-up model generation methods
• On Displaying Negative Modalities
• Intuitionistic public announcement logic with distributed knowledge
• \(L\)-fuzzy relational mathematical morphology based on adjoint triples
• Title not available (Why is that?)
• Hennessy-Milner properties via topological compactness
• BDD-based automated reasoning for propositional bi-intuitionistic tense logics
• Expressing discrete spatial relations under granularity

Uses Software

• MetTeL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q299186)