The monadic hybrid calculus

DOI10.1080/11663081.2017.1368844zbMath1398.03083OpenAlexW2754065268MaRDI QIDQ4586221

Omar Alaqeeli, William W. Wadge

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2017.1368844

zbMATH Keywords

formal semanticscompletenesssoundnesstableauformal syntax

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Classical first-order logic (03B10)

Cites Work

• Hybrid logic and its proof-theory
• Unnamed Item
• Unnamed Item

This page was built for publication: The monadic hybrid calculus