Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics (original) (raw)
Related papers
Dynamic logics of the region-based theory of discrete spaces
Journal of Applied Non-Classical Logics, 2007
Topology and Measure in Logics for Region-Based Theories of Space
Annals of Pure and Applied Logic, 2018
2007
Logics of space with connectedness predicates: complete axiomatizations
Advances in Modal Logic
On Dynamic Topological and Metric Logics
Studia Logica - An International Journal for Symbolic Logic, 2006
Handbook of Spatial Logics, 2007
Dynamic Order Algebras as an Axiomatization of Modal and Tense Logics
International Journal of Theoretical Physics, 2015
Region-based theory of space: algebras of regions, representation theory, and logics
Mathematical Problems from Applied Logic II, 2007
Modal logics for metric spaces: open problems
2005
Algebraisable versions of predicate topological logic
L O ] 1 4 M ar 2 01 9 A two-dimensional metric temporal logic ∗
2019
Dynamic topological logics over spaces with continuous functions
2006
A logic for metric and topology
The Journal of Symbolic Logic, 2005
MODAL AND BOOLEAN MODAL LOGICS OF METRIC SPACES
2004
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
Journal of Artificial Intelligence Research, 2005
A Temporal Logic for Proving Properties of Topologically General Executions
Information and Computation, 1996
On the computational complexity of spatio-temporal logics
Proceedings of the 16th …, 2003
A Propositional Dynamic Logic for Instantial Neighborhood Models
2017
Mereological foundations of point-free geometry via multi-valued logic
Logic and Logical Philosophy, 2014
Synthese, 2012
A mereotopology based on sequent algebras
Journal of Applied Non-Classical Logics, 2017
Contact algebras and region-based theory of space: A proximity approach-I
Fundamenta Informaticae, 2006
TEMPORAL TOPOLOGICAL RELATIONSHIPS OF CONVEX SPACES IN SPACE SYNTAX THEORY
A two‐dimensional metric temporal logic
Mathematical Logic Quarterly