A bi-intuitionistic modal logic: Foundations and automation.
John G. StellRenate A. SchmidtDavid E. RydeheardPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- modal logic
- classical logic
- temporal logic
- inference rules
- decision procedures
- business intelligence
- linear logic
- epistemic logic
- artificial intelligence
- nonmonotonic logics
- logical framework
- default logic
- fuzzy set theory
- conditional logic
- autoepistemic logic
- dynamic logic
- theorem prover
- prime implicates
- natural deduction
- interval valued
- fuzzy numbers
- relational databases
- reinforcement learning