Dynamic order algebras as an axiomatization of modal and tense logics

DOI10.1007/s10773-015-2510-9zbMath1329.81092OpenAlexW1972561006MaRDI QIDQ904480

Jan Paseka, Ivan Chajda

Publication date: 13 January 2016

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-015-2510-9

zbMATH Keywords

modal logicpropositional logictense logicbounded posettense operatorsdynamic order algebra

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Related Items (5)

Unnamed Item ⋮ Subdirectly irreducible IKt-algebras ⋮ Transition operators assigned to physical systems ⋮ Dynamic logic assigned to automata ⋮ Principal and Boolean congruences on \(IKt\)-algebras

Cites Work

• Tense operators on basic algebras
• Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
• Effect algebras and unsharp quantum logics.
• Algebraic axiomatization of tense intuitionistic logic
• Constructive modal logics. I
• Residuated lattices. An algebraic glimpse at substructural logics
• Tense operators in fuzzy logic
• Dynamic effect algebras and their representations
• Dynamic effect algebras
• Intuitionistic tense and modal logic
• A dynamic Effect Algebras with Dual Operation
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamic order algebras as an axiomatization of modal and tense logics