Dynamic order algebras as an axiomatization of modal and tense logics
type: Item
instance of: scholarly article
title: Dynamic order algebras as an axiomatization of modal and tense logics
zbMATH Open document ID: 1329.81092
author: Jan Paseka
author: Ivan Chajda
published in: International Journal of Theoretical Physics
publication date: 2016-01-13T00:00:00Z
Mathematics Subject Classification ID: 81P10
zbMATH DE Number: 6529585
zbMATH Keywords: propositional logic
zbMATH Keywords: modal logic
zbMATH Keywords: bounded poset
zbMATH Keywords: tense logic
zbMATH Keywords: tense operators
zbMATH Keywords: dynamic order algebra
MaRDI profile type: Publication
full work available at URL: s10773-015-2510-9
OpenAlex ID: W1972561006
cites work: Tense operators on basic algebras
cites work: Q5445179
cites work: Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
cites work: Algebraic axiomatization of tense intuitionistic logic
cites work: Dynamic effect algebras
cites work: Dynamic effect algebras and their representations
cites work: Tense operators in fuzzy logic
cites work: Q5389310
cites work: Q2762622
cites work: Intuitionistic tense and modal logic
cites work: Effect algebras and unsharp quantum logics.
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: A dynamic Effect Algebras with Dual Operation
cites work: Constructive modal logics. I
DOI: 10.1007/S10773-015-2510-9
description: scientific article; zbMATH DE number 6529585