Adding Intensional Machinery to Hybrid Logic

DOI10.1093/LOGCOM/EXN005zbMath1149.03019OpenAlexW2072374506MaRDI QIDQ3520240

Torben Braüner

Publication date: 15 August 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn005

zbMATH Keywords

modal logichybrid logicnatural deductionintensional logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

This page was built for publication: Adding Intensional Machinery to Hybrid Logic