Undefinability of propositional quantifiers in the modal system S4.
Silvio GhilardiMarek W. ZawadowskiPublished in: Stud Logica (1995)
Keyphrases
- first order logic
- propositional logic
- propositional variables
- modal logic
- nonmonotonic logics
- default logic
- horn clauses
- inference rules
- prime implicates
- theorem proving
- modus ponens
- inductive logic programming
- logic programming
- knowledge representation
- natural language
- knowledge compilation
- website
- autoepistemic logic
- predicate calculus
- proof procedure
- random walk
- statistical relational learning
- data mining
- disjunctive logic programming
- strips planning
- databases
- database