Dynamic contact algebras and quantifier-free logics for space and time

DOI10.17377/SEMI.2018.15.092zbMATH Open1436.03165MaRDI QIDQ1615744FDOQ1615744

P. Vakarelov, P. Dimitrov

Publication date: 31 October 2018

Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

representation theoremcontact algebradynamic contact algebranon-standard temporal logicquantifier-free first-order theoryregion-based theory of space and timerule-elimination theorem

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other algebras related to logic (03G25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I

Uses Software

• AIM@SHAPE

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)