Valuation Semantics for First-Order Logics of Evidence and Truth.
Henrique AntunesAbilio RodriguesWalter CarnielliMarcelo E. ConiglioPublished in: J. Philos. Log. (2022)
Keyphrases
- valued logic
- conditional logic
- classical logic
- propositional logic
- first order logic
- truth values
- default reasoning
- fuzzy logic
- propositional dynamic logic
- higher order logic
- modal logic
- proof theory
- sound and complete with respect
- model theoretic
- logic programming
- belief revision
- higher order
- nonmonotonic reasoning
- nonmonotonic logics
- multi valued
- decision procedures
- logic programs
- fuzzy sets
- empirical evidence
- proof theoretic
- datalog programs
- inference rules
- epistemic logic
- expressive power
- automated reasoning
- decision making
- predicate calculus
- knowledge representation
- classical first order logic
- valued semantics
- intuitionistic logic
- stochastic dominance
- computational properties