Dynamic Cantor Derivative Logic

DOI10.46298/lmcs-19(4:26)2023arXiv2107.10349MaRDI QIDQ6137850

Unnamed Author, David Fernández-Duque

Publication date: 16 January 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.10349

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Spatial logic of tangled closure operators and modal mu-calculus
• Intuitionistic logic and modality via topology
• Dynamic topological logic
• On dynamic topological and metric logics
• Self-reference and modal logic
• The algebra of topology
• A sound and complete axiomatization for Dynamic Topological Logic
• Topological Modal Logics with Difference Modality
• Linear algebra algorithms as dynamical systems
• Topological aspects of suitable theories
• Data-Driven Science and Engineering
• The Logic of Provability
• Analyzing Blockwise Lattice Algorithms Using Dynamical Systems
• Non-finite axiomatizability of dynamic topological logic

This page was built for publication: Dynamic Cantor Derivative Logic