Arrow Update Logic.

Barteld Kooi Bryan Renne

Published in: Rev. Symb. Log. (2011)

Keyphrases

logic programming
multi valued
defeasible logic
predicate logic
asynchronous circuits
belief update
modal logic
real time
classical logic
formal language
logical framework
deontic logic
formal theory
automated reasoning
multiscale
information retrieval
real world