Hybrid Logics with Infinitary Proof Systems

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

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

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 (8)

• 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
• 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)