Binary Connectives Functionally Complete by Themselves in S5 Modal Logic.
Gerald J. MasseyPublished in: J. Symb. Log. (1967)
Keyphrases
- modal logic
- inference rules
- classical logic
- sequent calculus
- temporal logic
- decision procedures
- epistemic logic
- nonmonotonic logics
- default logic
- explanation based generalization
- conditional logic
- logical framework
- theorem prover
- prime implicates
- state space
- autoepistemic logic
- truth values
- dynamic logic
- knowledge base