Axiomatizing hybrid products of monotone neighborhood frames

DOI10.1016/J.ENTCS.2011.06.012MaRDI QIDQ4917079zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

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

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)