Axiomatizing Hybrid Products of Monotone Neighborhood Frames

DOI10.1016/j.entcs.2011.06.012zbMath1260.03047OpenAlexW2162578916WikidataQ113318255 ScholiaQ113318255MaRDI QIDQ4917079

Katsuhiko Sano

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.06.012

zbMATH Keywords

hybrid logicpure completenessmonotone neighborhood framesproduct of neighborhood framesproduct of topologies

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Multimodal logics of products of topologies
• Pure extensions, proof rules, and hybrid axiomatics
• Modal languages for topology: expressivity and definability
• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• Modal logic with names
• Many-dimensional modal logics: theory and applications
• The algebra of topology
• Topological Perspective on the Hybrid Proof Rules
• Topological modal logic of $ \mathbb R$ with inequality
• Products of modal logics, part 1