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

(9)

• A decidable temporal logic of parallelism
• Combining temporal logic systems
• Explicating logical independence
• 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
• _1 and the modal -calculus
• Sufficient conditions for local tabularity of a polymodal logic
• Meet-combination of consequence systems

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)