Topological perspective on the hybrid proof rules
From MaRDI portal
Publication:2867949
DOI10.1016/J.ENTCS.2006.11.027zbMATH Open1278.03051OpenAlexW2133700101MaRDI QIDQ2867949FDOQ2867949
Authors: 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
Recommendations
- Experiments in theorem proving for topological hybrid logic
- Topological interpretations of provability logic
- scientific article; zbMATH DE number 4012593
- scientific article; zbMATH DE number 1537947
- A hybrid logic for reasoning about knowledge and topology
- Algebraic Methodology and Software Technology
- scientific article; zbMATH DE number 1829804
- Hybrid logic and its proof-theory
- Homology of proof-nets
- Proof mining in topological dynamics
Cites Work
- Modal logic
- Title not available (Why is that?)
- Topo-canonical completions of closure algebras and Heyting algebras
- Title not available (Why is that?)
- The algebra of topology
- Reasoning About Space: The Modal Way
- Modal languages for topology: expressivity and definability
- Hybrid logics with Sahlqvist axioms
- Pure extensions, proof rules, and hybrid axiomatics
- Topological Modal Logics with Difference Modality
- Duality between modal algebras and neighbourhood frames
- Derivation rules as anti-axioms in modal logic
- Generalized product of coalgebraic hybrid logics
- Categories of frames for modal logic
- Isomorphism via translation
- Topological model theory with an interior operator: Consistency properties and back — and forth arguments
Cited In (9)
- Modal languages for topology: expressivity and definability
- Axiomatizing hybrid products of monotone neighborhood frames
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
- Infinitary hybrid logic and the Lindelöf property
- Hybrid counterfactual logics. David Lewis meets Arthur Prior again
- On independent axiomatizability of quasi-normal modal logics
- Experiments in theorem proving for topological hybrid logic
- On the modal logic of subset and superset: tense logic over Medvedev frames
- Analogues of Bull's theorem for hybrid logic
This page was built for publication: Topological perspective on the hybrid proof rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867949)
