Dynamic logics of the region-based theory of discrete spaces

DOI10.3166/JANCL.17.39-61MaRDI QIDQ3647263zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.17.39-61

zbMATH Keywords

dynamic logicregion-based theory of spacesspatial logicspatial reasoning

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 5241969
• Modal logics of some geometrical structures
• Logics for some dynamic spaces. II
• Modal Logics of Topological Relations
• scientific article; zbMATH DE number 5295716

Cites work

• A calculus of individuals based on 'connection'
• A complete axiom system for polygonal mereotopology of the real plane
• A proximity approach to some region-based theories of space
• Axiomatizability of geometry without points
• Continuous lattices and Whiteheadian theory of space
• Digital Topology
• Generalized region connection calculus
• scientific article; zbMATH DE number 49561 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1444734 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• Region-based topology
• Relationships between nondeterministic and deterministic tape complexities
• Semi-metrics, closure spaces and digital topology
• The Computational Complexity of Provability in Systems of Modal Propositional Logic

Cited in

(10)

• A system of relational syllogistic incorporating full Boolean reasoning
• Boolean Logics with Relations
• scientific article; zbMATH DE number 4025442 (Why is no real title available?)
• The logic of discrete qualitative relations
• Logics for some dynamic spaces. I.
• Logics for some dynamic spaces. II
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• Boolean logics with relations
• Logics for contact and measure
• Logics for contact and measure

This page was built for publication: Dynamic logics of the region-based theory of discrete spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647263)