Modal logics, justification logics, and realization.

Published in: Ann. Pure Appl. Log. (2016)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
classical logic
epistemic logic
conditional logic
situation calculus
default logic
dynamic logic
multi agent systems
modal operators
answer set programming