Modal logic with subjunctive conditionals and dispositional predicates.
Lennart ÅqvistPublished in: J. Philos. Log. (1973)
Keyphrases
- modal logic
- conditional logic
- decision procedures
- inference rules
- temporal logic
- epistemic logic
- classical logic
- situation calculus
- user defined
- nonmonotonic logics
- default logic
- horn clauses
- sequent calculus
- description logic alc
- reinforcement learning
- prime implicates
- autoepistemic logic
- datalog programs
- logic programming
- domain knowledge