An infinitary axiomatization of dynamic topological logic

DOI10.1093/JIGPAL/JZAA055MaRDI QIDQ5066804zbMATH OpenOpenAlexFDO

Authors Somayeh Chopoghloo, Morteza Moniri

Publication date 30 March 2022

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzaa055

zbMATH Keywords

Alexandrov spacesdynamic topological logicinfinitary proof systemspatial logicstrong completenesstemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Recommendations

• Dynamic topological logic
• Dynamic topological logic interpreted over minimal systems
• Dynamic topological logic of metric spaces

Cited in

(9)

• Dynamic topological S5
• A sound and complete axiomatization for dynamic topological logic
• scientific article; zbMATH DE number 5295716 (Why is no real title available?)
• Dynamic topological logic of metric spaces
• Dynamic Cantor derivative logic
• Dynamic topological logic
• Dynamic topological logic interpreted over minimal systems
• On dynamic topological and metric logics
• The modal logic of continuous functions on the rational numbers

This page was built for publication: An infinitary axiomatization of dynamic topological logic

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