Untangled: A Complete Dynamic Topological Logic

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F23%3A00603039" target="_blank" >RIV/67985807:_____/23:00603039 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1609/aaai.v37i5.25782" target="_blank" >http://dx.doi.org/10.1609/aaai.v37i5.25782</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1609/aaai.v37i5.25782" target="_blank" >10.1609/aaai.v37i5.25782</a>

Result language
angličtina
Original language name
Untangled: A Complete Dynamic Topological Logic
Original language description
Dynamical systems are general models of change or movement over time with a broad area of applicability to many branches of science, including computer science and AI. Dynamic topological logic (DTL) is a formal framework for symbolic reasoning about dynamical systems. DTL can express various liveness and reachability conditions on such systems, but has the drawback that the only known axiomatisation requires an extended language. In this paper, we consider dynamic topological logic restricted to the class of scattered spaces. Scattered spaces appear in the context of computational logic as they provide semantics for provability and enjoy definable fixed points. We exhibit the first sound and complete dynamic topological logic in the original language of DTL. In particular, we show that the version of DTL based on the class of scattered spaces is finitely axiomatisable, and that the natural axiomatisation is sound and complete.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA22-01137S" target="_blank" >GA22-01137S: Metamathematics of substructural modal logics</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the AAAI Conference on Artificial Intelligence 2023
ISBN
—
ISSN
2159-5399
e-ISSN
—
Number of pages
8
Pages from-to
6355-6362
Publisher name
AAAI Press
Place of publication
Palo Alto
Event location
Washington, D. C.
Event date
Feb 7, 2023
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
001243718500105

Similar results(10)