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

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

Authors: P. Dimitrov, P. Vakarelov 

Publication date: 31 October 2018

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

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

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?)
• Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
• Title not available (Why is that?)
• Region-based theory of space: algebras of regions, representation theory, and logics
• Title not available (Why is that?)

Cited In (4)

• Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality
• Point-free theories of space and time
• A modal approach to dynamic ontology: modal mereotopology
• Dynamic mereotopology. II: Axiomatizing some Whiteheadean type space-time logics

Uses Software

• AIM@SHAPE

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)