Login / Signup
An infinitary axiomatization of dynamic topological logic.
Somayeh Chopoghloo
Morteza Moniri
Published in:
Log. J. IGPL (2022)
Keyphrases
</>
classical logic
artificial neural networks
dynamic environments
video sequences
modal logic
multi valued
topological properties
computational properties