Hybrid Logics with Infinitary Proof Systems

DOI10.1093/logcom/exi086zbMath1102.03017OpenAlexW2099783626MaRDI QIDQ5477452

Rineke Verbrugge, Gerard R. Renardel de Lavalette, Barteld P. 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

hybrid logicstrong completenessinfinitary proof rulesnon-compact logics

Mathematics Subject Classification ID

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

Related Items (2)

A study on multi-dimensional products of graphs and hybrid logics ⋮ Strong completeness and limited canonicity for PDL

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