Login / Signup
Some remarks on equivalence in infinitary and stationary logic.
Matt Kaufmann
Published in:
Notre Dame J. Formal Log. (1984)
Keyphrases
</>
non stationary
modal logic
predicate logic
classical logic
databases
nonmonotonic logics
reinforcement learning
information systems
temporal logic
learning algorithm
automated reasoning
multi valued
machine learning
data mining
database
truth values
epistemic logic
deontic logic
propositional dynamic logic