Strongly Millian second-order Modal Logics.

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
higher order
classical logic
epistemic logic
situation calculus
artificial intelligence
autoepistemic logic
default logic
modal operators
formal methods
default reasoning
cooperative
reinforcement learning