On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic.

Published in: Notre Dame J. Formal Log. (2018)

Keyphrases

propositional dynamic logic
classical logic
logic programming
modal operators
belief revision
modal logic
decision making
multi valued
predicate logic
multi agent systems
dynamic logic
mental states
automated reasoning
logical framework
sound and complete axiomatization