The complexity of satisfiability for fragments of hybrid logic. I.
From MaRDI portal
Publication:631087
DOI10.1016/j.jal.2010.08.001zbMath1215.03034WikidataQ57998323 ScholiaQ57998323MaRDI QIDQ631087
Publication date: 22 March 2011
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2010.08.001
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences