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)

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)

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)

• 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

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)