Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?

DOI10.1016/J.JAL.2010.08.006MaRDI QIDQ631091zbMATH OpenOpenAlexFDO

Authors Katsuhiko Sano

Publication date 22 March 2011

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2010.08.006

zbMATH Keywords

\(T\times W\)-frames\(T\times W\)-logicmany-dimensional modal logicproduct of hybrid logicsproduct of Kripke framesproduct of modal logicspure completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• A study on multi-dimensional products of graphs and hybrid logics
• Axiomatizing hybrid logic using modal logic
• Generalized product of coalgebraic hybrid logics
• Multimodal logics of products of topologies
• scientific article; zbMATH DE number 1738633
• Hybrid logics of separation axioms
• Hybrid logic and its proof-theory
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• A Hybrid Intuitionistic Logic: Semantics and Decidability
• A Hilbert-style axiomatisation for equational hybrid logic

Cites work

• Handbook of modal logic
• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 1028832 (Why is no real title available?)
• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• Hybrid logics with Sahlqvist axioms
• Interpolation for extended modal languages
• Many-dimensional modal logics: theory and applications
• Modal logic
• Modal logic with names
• Multimodal logics of products of topologies
• On the Products of Linear Modal Logics
• Products of modal logics, part 1
• Pure extensions, proof rules, and hybrid axiomatics
• T W completeness
• Termination for Hybrid Tableaus
• The logic of historical necessity as founded on two-dimensional modal tense logic
• Topological perspective on the hybrid proof rules

Cited in

(11)

• Why does the proof-theory of hybrid logic work so well?
• Axiomatizing hybrid products of monotone neighborhood frames
• A simple logic of the hide and seek game
• A study on multi-dimensional products of graphs and hybrid logics
• Epistemic logic with agentically non-rigid designators
• Completeness of tableau calculi for two-dimensional hybrid logics
• Agent-knowledge logic for alternative epistemic logic
• Egocentric doxastic logic
• Comprehension and knowledge
• Agent-knowledge logic for alternative epistemic logic
• Hybrid logic of the hide and seek game

This page was built for publication: Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?

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