Login / Signup
An S4F-related Monotonic Modal Logic.
Ezgi Iraz Su
Published in:
ICTCS/CILC (2017)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
dynamic logic
default logic
situation calculus
model checking
classical logic
conditional logic
epistemic logic
prime implicates
neural network
cooperative
domain knowledge