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

DOI10.1016/J.JAL.2010.08.006zbMATH Open1215.03038OpenAlexW1591821156MaRDI QIDQ631091FDOQ631091

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

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

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)

Cites Work

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

Cited In (4)

• Why does the proof-theory of hybrid logic work so well?
• Axiomatizing hybrid products of monotone neighborhood frames
• A study on multi-dimensional products of graphs and hybrid logics
• A simple 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)