Axiomatizing hybrid products of monotone neighborhood frames

DOI10.1016/J.ENTCS.2011.06.012zbMATH Open1260.03047OpenAlexW2162578916WikidataQ113318255 ScholiaQ113318255MaRDI QIDQ4917079FDOQ4917079

Authors: 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

Recommendations

• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Topological-frame products of modal logics
• Hybrid logics of separation axioms
• Generalized product of coalgebraic hybrid logics
• On neighbourhood product of some Horn axiomatizable logics

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

• Modal logic
• Many-dimensional modal logics: theory and applications
• Title not available (Why is that?)
• The algebra of topology
• Products of modal logics, part 1
• Multimodal logics of products of topologies
• Modal languages for topology: expressivity and definability
• Modal logic with names
• Pure extensions, proof rules, and hybrid axiomatics
• Topological perspective on the hybrid proof rules
• Topological modal logic of $ \mathbb R$ with inequality
• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Isomorphism via translation

Cited In (1)

• Generalized product of coalgebraic hybrid logics

This page was built for publication: Axiomatizing hybrid products of monotone neighborhood frames

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