Independent propositional modal logics

DOI10.1007/BF00370317MaRDI QIDQ1150598zbMATH OpenOpenAlexFDO

Authors S. K. Thomason

Publication date 1980

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00370317

zbMATH Keywords

conservative extensionjoin of modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited in

(7)

• Explicating logical independence
• \(\aleph_1\) and the modal \(\mu\)-calculus
• Combining temporal logic systems
• A decidable temporal logic of parallelism
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
• Intuitionistic propositional logic with Galois negations
• Properties of independently axiomatizable bimodal logics

This page was built for publication: Independent propositional modal logics

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