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

DOI10.17377/SEMI.2018.15.092MaRDI QIDQ1615744zbMATH OpenFDO

Authors P. Dimitrov, P. Vakarelov

Publication date 31 October 2018

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

Full work available at URL https://doi.org/10.17377/SEMI.2018.15.092

zbMATH Keywords

contact algebradynamic contact algebranon-standard temporal logicquantifier-free first-order theoryregion-based theory of space and timerepresentation theoremrule-elimination theorem

Mathematics Subject Classification ID

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

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

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

Cited in

(4)

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

Describes a project that uses

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)