An elementary construction for a non-elementary procedure

DOI10.1023/A:1021312628326zbMath1010.03014OpenAlexW1592338896MaRDI QIDQ1863831

Szabolcs Mikulás, Maarten Marx

Publication date: 12 March 2003

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

modal logicdecidabilityfinite model propertyproduct of modal logics

Mathematics Subject Classification ID

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

Related Items (1)

Products of ‘transitive” modal logics

This page was built for publication: An elementary construction for a non-elementary procedure