Adding Intensional Machinery to Hybrid Logic

DOI10.1093/LOGCOM/EXN005MaRDI QIDQ3520240zbMATH OpenOpenAlexFDO

Authors 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

hybrid logicintensional logicmodal logicnatural deduction

Mathematics Subject Classification ID

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

Recommendations

• Natural deduction for first-order hybrid logic
• First-order hybrid logic: introduction and survey
• Intuitionistic hybrid logic
• First-order intensional logic
• Hybrid logic and its proof-theory

Cited in

(1)

• Quantifiers and conceptual existence

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3520240)