Elementary Modal Logics over Transitive Structures
From MaRDI portal
Publication:2958545
DOI10.4230/LIPIcs.CSL.2013.563zbMath1356.03065OpenAlexW2275097665MaRDI QIDQ2958545
Publication date: 2 February 2017
Full work available at URL: https://doi.org/10.4230/LIPIcs.CSL.2013.563
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)