Decidability of some classes of modal logic

DOI10.1023/A:1016174510664zbMath1024.03020OpenAlexW1527526397MaRDI QIDQ1873248

Yanyan Li

Publication date: 19 May 2003

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016174510664

zbMATH Keywords

modal logicdecidable classes

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items

On temporal logic S4Dbr ⋮ Path calculus in the modal logic S4