Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency.
Arnon AvronAnna ZamanskyPublished in: Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Keyphrases
- modal logic
- model theoretic
- conditional logic
- decision procedures
- fixpoint semantics
- proof theoretic
- valued logic
- nonmonotonic logics
- truth values
- default reasoning
- higher order logic
- deductive databases
- operational semantics
- epistemic logic
- propositional dynamic logic
- inference rules
- logical formulas
- temporal logic
- belief revision
- fixpoint
- logic programs
- nonmonotonic reasoning
- logic programming
- autoepistemic logic
- higher order
- sound and complete with respect
- classical first order logic
- proof theory
- kripke models
- formal specification
- first order logic
- default logic
- highly expressive
- machine processable
- dynamic logic
- situation calculus
- formal model
- formal language
- modal operators
- classical logic
- expressive power
- valued semantics
- predicate calculus
- fuzzy sets
- knowledge base
- formal semantics