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

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

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)

Cites Work

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

Cited In (14)

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

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)