A General Framework for FDE-Based Modal Logics.

Sergey Drobyshevich

Published in: Stud Logica (2020)

Keyphrases

modal logic
decision procedures
temporal logic
nonmonotonic logics
inference rules
situation calculus
classical logic
default logic
epistemic logic
cooperative
conditional logic
modal operators
dynamic logic
expert systems