Hybrid logic and its proof-theory

DOI10.1007/978-94-007-0002-4zbMath1217.03021MaRDI QIDQ5961845

Torben Braüner

Publication date: 16 September 2010

Published in: Applied Logic Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0002-4

zbMATH Keywords

tableaux; proof theory; normalization; natural deduction; first-order hybrid logic; internalization; propositional hybrid logic; soundness and completeness; standard translation

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B60: Other nonclassical logic

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03F03: Proof theory in general (including proof-theoretic semantics)