Semantic analysis of tense logics

DOI10.2307/2272558MaRDI QIDQ5648343zbMATH OpenOpenAlexFDO

Authors 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) General logic (03B99) Other algebras related to logic (03G25)

Cites work

• Boolean Algebras with Operators. Part I
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Some structure results for propositional calculi
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(44)

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

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

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