Hybrid Logics with Infinitary Proof Systems

DOI10.1093/LOGCOM/EXI086zbMATH Open1102.03017OpenAlexW2099783626MaRDI QIDQ5477452FDOQ5477452

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

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

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

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)

Cited In (6)

• Why does the proof-theory of hybrid logic work so well?
• Title not available (Why is that?)
• Strong completeness and limited canonicity for PDL
• The Complete Proof Theory of Hybrid Systems
• A study on multi-dimensional products of graphs and hybrid logics
• Complete infinitary type logics

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)