Tense logics based on posets

DOI10.1093/LOGCOM/EXAE081MaRDI QIDQ6909833zbMATH OpenFDO

Authors Ivan Chajda, Helmut Länger, Antonio Ledda, Jan Paseka, Gandolfo Vergottini

Publication date 29 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

zbMATH Keywords

adjoint pairadjoint operatorDedekind-MacNeille completiontense logicposetimplicationorthomodular posettense operatortime frame

Mathematics Subject Classification ID

Temporal logic (03B44) Quantum logic (03G12) Other algebras related to logic (03G25) Algebraic aspects of posets (06A11) Partial algebras (08A55) Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Tense logics based on posets

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