Login / Signup
Non-finite Axiomatizability of Dynamic Topological Logic.
David Fernández-Duque
Published in:
Advances in Modal Logic (2012)
Keyphrases
</>
dynamic environments
logic programming
finite number
data mining
case study
database systems
modal logic
linear temporal logic