Pages that link to "Item:Q1189900"
From MaRDI portal
The following pages link to Dynamic algebras: Examples, constructions, applications (Q1189900):
Displaying 26 items.
- Canonical finite models of Kleene algebra with tests (Q299196) (← links)
- Boolean-like algebras (Q353355) (← links)
- On the dynamic logic of agency and action (Q456961) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- The equational theory of Kleene lattices (Q655418) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Completion of Boolean algebras in MSet (Q1035677) (← links)
- Every free algebra in the variety generated by the representable dynamic algebras is separable and representable (Q1167197) (← links)
- On dynamic algebras (Q1341742) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- Equational theories for automata (Q2074221) (← links)
- Dynamic Łukasiewicz logic and dynamic MV-algebras (Q2206432) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view (Q2910980) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- Non-termination in Idempotent Semirings (Q3498415) (← links)
- <b>PDL</b> has interpolation (Q4779643) (← links)
- (Q5155666) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)
- Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)
