Login / Signup

Non-finite axiomatizability of dynamic topological logic.

David Fernández-Duque
Published in: ACM Trans. Comput. Log. (2014)
Keyphrases
  • dynamic environments
  • real world
  • finite number
  • classical logic
  • formal theory