Dynamic contact algebras and quantifier-free logics for space and time
From MaRDI portal
Publication:1615744
DOI10.17377/SEMI.2018.15.092zbMATH Open1436.03165MaRDI QIDQ1615744FDOQ1615744
Publication date: 31 October 2018
Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
representation theoremcontact algebradynamic contact algebranon-standard temporal logicquantifier-free first-order theoryregion-based theory of space and timerule-elimination theorem
Cites Work
Uses Software
Recommendations
- Quantales and Temporal Logics π π
- 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 π π
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS π π
- The intuitionistic temporal logic of dynamical systems π π
- Dyck algebras, interval temporal logic, and posets of intervals π π
- Algebraic Semantics for Dynamic Dynamic Logic π π
- Quantifier-free logic for multialgebraic theories π π
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)