In defence of a logic for 'because'.

Benjamin Schnieder

Published in: J. Appl. Non Class. Logics (2016)

Keyphrases

multi valued
classical logic
logic programming
agent oriented
modal logic
automated reasoning
databases
deontic logic
probabilistic logic
predicate logic
linear temporal logic