Pages that link to "Item:Q904480"
From MaRDI portal
The following pages link to Dynamic order algebras as an axiomatization of modal and tense logics (Q904480):
Displaying 11 items.
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- Dynamic logic assigned to automata (Q682633) (← links)
- An algebraic axiomatization of the Ewald's intuitionistic tense logic (Q894527) (← links)
- Dynamic contact algebras and quantifier-free logics for space and time (Q1615744) (← links)
- Tense operators in fuzzy logic (Q1677045) (← links)
- Subdirectly irreducible IKt-algebras (Q1680513) (← links)
- Transition operators assigned to physical systems (Q1744694) (← links)
- Principal and Boolean congruences on \(IKt\)-algebras (Q1790608) (← links)
- Algebraic approach to tense operators (Q2799965) (← links)
- (Q4963163) (← links)
- (Q5090950) (← links)