Non-finite axiomatizability of dynamic topological logic
From MaRDI portal
Publication:5410331
DOI10.1145/2489334zbMath1287.03069arXiv1207.5140WikidataQ58883280 ScholiaQ58883280MaRDI QIDQ5410331
Publication date: 16 April 2014
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1207.5140
dynamical systems; temporal logic; spatial reasoning; axiomatizability; topological semantics; spatial logic; dynamic topological logic; theory complexity
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03B44: Temporal logic