Semantics for some non-classical possibilistic logics.
Rubén Octavio Vélez SalazarJosé Ramón Enrique Arrazola-RamírezIván Martínez RuizPublished in: Int. J. Adv. Intell. Paradigms (2014)
Keyphrases
- intuitionistic logic
- logic programming
- propositional dynamic logic
- valued logic
- proof theory
- classical first order logic
- possibilistic logic
- classical logic
- epistemic logic
- conditional logic
- nonmonotonic logics
- proof theoretic
- modal logic
- higher order logic
- logic programs
- default reasoning
- expressive power
- linear logic
- propositional variables
- operational semantics
- formal semantics
- computational properties
- knowledge representation
- modal operators
- semantic information
- fuzzy logic
- horn logic
- valued semantics
- model checking
- temporal logic
- deductive databases
- probability theory
- abstract argumentation
- fixpoint
- dynamic logic
- logical framework
- uncertain information
- reasoning about actions