Semantic analysis of tense logics

DOI10.2307/2272558zbMath0238.02027OpenAlexW2017542140MaRDI QIDQ5648343

S. K. Thomason

Publication date: 1972

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272558

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) General logic (03B99)

Related Items (38)

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ QUANTIFIED MODAL RELEVANT LOGICS ⋮ Bjarni Jónsson's contributions in algebra ⋮ Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements ⋮ Topology and duality in modal logic ⋮ Atoms of tense algebras ⋮ Some embedding theorems for conditional logic ⋮ Varieties of complex algebras ⋮ Dynamic squares ⋮ Der Verband der normalen verzweigten Modallogiken ⋮ Semantic analysis of orthologic ⋮ First-order indefinite and uniform neighbourhood semantics ⋮ An axiom system for basic hybrid logic with propositional quantifiers ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Hilbert algebras with Hilbert-Galois connections ⋮ A note on the issue of cohesiveness in canonical models ⋮ Algebraic and relational semantics for tense logics ⋮ Possible worlds in use ⋮ Mathematical modal logic: A view of its evolution ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ Products of modal logics and tensor products of modal algebras ⋮ Some descending chains of incomplete modal logics ⋮ Partial and paraconsistent approaches to future contingents in tense logic ⋮ Even more about the lattice of tense logics ⋮ Duality and completeness for US-logics ⋮ Expressive power and semantic completeness: Boolean connectives in modal logic ⋮ Notes on conditional logic ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ Canonical extensions and ultraproducts of polarities ⋮ The power of a propositional constant ⋮ On logics with coimplication ⋮ Lattices of finitely alternative normal tense logics ⋮ Varieties of logical matrices ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Quantified modal logic: non-normal worlds and propositional attitudes ⋮ A deontic logic of action ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM ⋮ A unified semantics for a family of modal logics with propositional constants

Cites Work

• Some structure results for propositional calculi
• Some theorems about the sentential calculi of Lewis and Heyting
• Boolean Algebras with Operators. Part I
• Unnamed Item

This page was built for publication: Semantic analysis of tense logics