Alternative Logics: a book review: SIGACT news logic column 18.
Riccardo PucellaPublished in: SIGACT News (2007)
Keyphrases
- modal logic
- classical logic
- proof theory
- propositional calculus
- propositional dynamic logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- higher order logic
- coalition logic
- proof procedures
- order sorted
- inference rules
- proof theoretic
- computational properties
- logic programming
- news articles
- intuitionistic logic
- automated reasoning
- expressive power
- truth values
- logical framework
- knowledge representation formalisms
- temporal logic
- horn logic
- modal operators
- cross media
- news items
- default reasoning
- news stories
- propositional logic
- social media
- autoepistemic logic
- decision procedures
- valued logic
- keywords
- multi valued
- default logic
- theorem prover
- belief revision
- multi agent systems