Login / Signup
Quantified Modal Logic on the Rational Line.
Philip Kremer
Published in:
Rev. Symb. Log. (2014)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
classical logic
nonmonotonic logics
default logic
epistemic logic
situation calculus
relational databases
modal operators
artificial intelligence
reinforcement learning
logic programs
dynamic logic
explanation based generalization