Dynamic order algebras as an axiomatization of modal and tense logics

DOI10.1007/S10773-015-2510-9zbMATH Open1329.81092OpenAlexW1972561006MaRDI QIDQ904480FDOQ904480

Authors 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 logictense logictense operatorspropositional logicbounded posetdynamic order algebra

Mathematics Subject Classification ID

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

Recommendations

• De Morgan algebras with tense operators
• Algebraic axiomatization of tense intuitionistic logic
• Tense operators in fuzzy logic
• Algebraic approach to tense operators
• The poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras

Cites work

• scientific article; zbMATH DE number 1688754 (Why is no real title available?)
• scientific article; zbMATH DE number 6028075 (Why is no real title available?)
• A dynamic effect algebras with dual operation
• Algebraic axiomatization of tense intuitionistic logic
• Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
• Constructive modal logics. I
• Dynamic effect algebras
• Dynamic effect algebras and their representations
• Effect algebras and unsharp quantum logics.
• Intuitionistic tense and modal logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Tense operators in fuzzy logic
• Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
• Tense operators on basic algebras

Cited in

(15)

• Algebraic axiomatization of tense intuitionistic logic
• Tense operators ``until and ``since on residuated lattices
• Algebraic approach to tense operators
• Transition operators assigned to physical systems
• scientific article; zbMATH DE number 7561320 (Why is no real title available?)
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• Dynamic logic assigned to automata
• Tense operators in fuzzy logic
• Dynamic contact algebras and quantifier-free logics for space and time
• The poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras
• Remarks on Heyting algebras with tense operators
• Tense logics over lattices
• Subdirectly irreducible IKt-algebras
• De Morgan algebras with tense operators
• Principal and Boolean congruences on \(IKt\)-algebras

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

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