The logical consequence relation of propositional tense logic

DOI10.1002/malq.19750210104zbMath0324.02014OpenAlexW2160858345MaRDI QIDQ4087146

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)

Related Items (5)

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

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