Login / Signup
On Modal Grzegorczyk Logic.
Larisa Maksimova
Published in:
Fundam. Informaticae (2007)
Keyphrases
</>
modal logic
nonmonotonic logics
classical logic
modal operators
dynamic logic
logic programming
inference rules
epistemic logic
random walk
computational properties
machine learning
bayesian networks
automated reasoning
multi valued
defeasible logic