Hybrid Logics with Infinitary Proof Systems

DOI10.1093/LOGCOM/EXI086MaRDI QIDQ5477452zbMATH OpenOpenAlexFDO

Authors Gerard R. Renardel de Lavalette, Rineke Verbrugge, Barteld Kooi

Publication date 3 July 2006

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/ce42f902724518bc2673a0d9bc03681098547490

zbMATH Keywords

strong completenesshybrid logicinfinitary proof rulesnon-compact logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of proofs (03F20)

Recommendations

• Hybrid logic and its proof-theory
• Infinitary hybrid logic and the Lindelöf property
• scientific article; zbMATH DE number 6979315
• A Hybrid Intuitionistic Logic: Semantics and Decidability
• Intuitionistic hybrid logic
• Proof-search in hybrid logic
• Deductive systems and the decidability problem for hybrid logics
• Hybridized paracomplete and paraconsistent logics
• Hybrid logics with Sahlqvist axioms
• Truth, partial logic and infinitary proof systems

Cited in

(8)

• Why does the proof-theory of hybrid logic work so well?
• Strong completeness and limited canonicity for PDL
• scientific article; zbMATH DE number 6979315 (Why is no real title available?)
• The Complete Proof Theory of Hybrid Systems
• A study on multi-dimensional products of graphs and hybrid logics
• Infinitary hybrid logic and the Lindelöf property
• Complete infinitary type logics
• Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

This page was built for publication: Hybrid Logics with Infinitary Proof Systems

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