Dynamic contact algebras and quantifier-free logics for space and time
From MaRDI portal
(Redirected from Publication:1615744)
Recommendations
- Quantales and Temporal Logics
- Complete intuitionistic temporal logics for topological dynamics
- Quantifier-free logic for multialgebraic theories
- The intuitionistic temporal logic of dynamical systems
- Modal and temporal logics for abstract space-time structures
- Quantitative temporal logics over the reals: PSpace and below
- Dynamic order algebras as an axiomatization of modal and tense logics
- Dyck algebras, interval temporal logic, and posets of intervals
- Algebraic Semantics for Dynamic Dynamic Logic
Cites work
- scientific article; zbMATH DE number 5117074 (Why is no real title available?)
- scientific article; zbMATH DE number 5241969 (Why is no real title available?)
- scientific article; zbMATH DE number 3198867 (Why is no real title available?)
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
- Region-based theory of space: algebras of regions, representation theory, and logics
Cited in
(4)
This page was built for publication: Dynamic contact algebras and quantifier-free logics for space and time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1615744)