An elementary construction for a non-elementary procedure

DOI10.1023/A:1021312628326MaRDI QIDQ1863831zbMATH OpenOpenAlexFDO

Authors Maarten Marx, Szabolcs Mikulás

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

decidabilitymodal logicfinite 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)

Recommendations

• Products of modal logics, part 1
• Products of ‘transitive” modal logics
• Products of modal logics. III. Products of modal and temporal logics
• Products, or how to create modal logics of high complexity
• Products of modal logics with diagonal constant lacking the finite model property

Cited in

(2)

• Complexity of products of modal logics
• Products of ‘transitive” modal logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1863831)