Independent propositional modal logics

DOI10.1007/BF00370317zbMath0457.03017OpenAlexW1968658145MaRDI QIDQ1150598

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)

Related Items

$\aleph_1$ and the modal $\mu$-calculus, Properties of independently axiomatizable bimodal logics, 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, Explicating logical independence, Combining temporal logic systems

Cites Work

• Unnamed Item