Algebraic and relational semantics for tense logics

zbMath0482.03006MaRDI QIDQ1162503

Paola Unterholzner

Publication date: 1981

Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=RSMUP_1981__65__119_0

zbMATH Keywords

duality theoremcategory of tense algebras and homomorphismscategory of tense frames and bicontractionscompleteness of first order semanticstense algebrastransitive nets

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Other algebras related to logic (03G25)

Related Items (1)

Topology and duality in modal logic

Cites Work

• A modal sequent calculus for a fragment of arithmetic
• Semantic analysis of tense logics
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic and relational semantics for tense logics