Modal Logics Definable by Universal Three-Variable Formulas

DOI10.4230/LIPIcs.FSTTCS.2011.264zbMath1246.03043OpenAlexW1608125757MaRDI QIDQ2911630

Emanuel Kieroński, Jakub Michaliszyn, Jan Otop

Publication date: 31 August 2012

Full work available at URL: https://doi.org/10.4230/LIPIcs.FSTTCS.2011.264

zbMATH Keywords

modal logicdecidability

Mathematics Subject Classification ID

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

Related Items (1)

On the Decidability of Elementary Modal Logics

This page was built for publication: Modal Logics Definable by Universal Three-Variable Formulas