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

DOI10.1016/j.jal.2010.08.006zbMath1215.03038OpenAlexW1591821156MaRDI QIDQ631091

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

product of modal logics\(T\times W\)-frames\(T\times W\)-logicmany-dimensional modal logicproduct of hybrid logicsproduct of Kripke framespure completeness

Mathematics Subject Classification ID

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

Related Items (3)

A simple logic of the hide and seek game ⋮ A study on multi-dimensional products of graphs and hybrid logics ⋮ Axiomatizing Hybrid Products of Monotone Neighborhood Frames

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multimodal logics of products of topologies
• Pure extensions, proof rules, and hybrid axiomatics
• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• The logic of historical necessity as founded on two-dimensional modal tense logic
• Modal logic with names
• T \(\times\) W completeness
• Many-dimensional modal logics: theory and applications
• Topological Perspective on the Hybrid Proof Rules
• Interpolation for extended modal languages
• Products of modal logics, part 1
• On the Products of Linear Modal Logics
• Termination for Hybrid Tableaus
• Hybrid logics with Sahlqvist axioms

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