First-order hybrid logic: introduction and survey

DOI10.1093/jigpal/jzt039zbMath1343.03012OpenAlexW2073861637MaRDI QIDQ5172130

Torben Braüner

Publication date: 12 February 2015

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzt039

zbMATH Keywords

first-order logichybrid logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items

Simple cut elimination proof for hybrid logic