Topological Perspective on the Hybrid Proof Rules

DOI10.1016/j.entcs.2006.11.027zbMath1278.03051OpenAlexW2133700101MaRDI QIDQ2867949

Balder ten Cate, Tadeusz Litak

Publication date: 20 December 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.2006.11.027

zbMATH Keywords

hybrid logictopological spacesproof rules

Mathematics Subject Classification ID

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

Related Items (6)

Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Axiomatizing Hybrid Products of Monotone Neighborhood Frames ⋮ Modal languages for topology: expressivity and definability ⋮ On independent axiomatizability of quasi-normal modal logics ⋮ Hybrid counterfactual logics. David Lewis meets Arthur Prior again

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pure extensions, proof rules, and hybrid axiomatics
• Modal languages for topology: expressivity and definability
• Duality between modal algebras and neighbourhood frames
• Topo-canonical completions of closure algebras and Heyting algebras
• The algebra of topology
• Generalized Product of Coalgebraic Hybrid Logics
• Topological Modal Logics with Difference Modality
• Topological model theory with an interior operator: Consistency properties and back — and forth arguments
• Categories of frames for modal logic
• Derivation rules as anti-axioms in modal logic
• Reasoning About Space: The Modal Way
• Hybrid logics with Sahlqvist axioms

This page was built for publication: Topological Perspective on the Hybrid Proof Rules