The logical consequence relation of propositional tense logic

DOI10.1002/MALQ.19750210104MaRDI QIDQ4087146zbMATH OpenOpenAlexFDO

Authors S. K. Thomason

Publication date 1975

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19750210104

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General logic (03B99) Hierarchies of computability and definability (03D55)

Cited in

(5)

• Mathematical modal logic: A view of its evolution
• Varieties of logical matrices
• What is an inference rule?
• Tense Logic Without Tense Operators
• Modal logics that need very large frames

This page was built for publication: The logical consequence relation of propositional tense logic

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