A secondary semantics for Second Order Intuitionistic Propositional Logic.
Mauro FerrariCamillo FiorentiniGuido FiorinoPublished in: Math. Log. Q. (2004)
Keyphrases
- propositional logic
- nonmonotonic logics
- possibilistic logic
- belief revision
- first order logic
- minimal models
- valued logic
- logical framework
- theorem prover
- formal semantics
- logic programming
- linear logic
- lattice theory
- quantified boolean formulae
- nonmonotonic reasoning
- domain knowledge
- propositional satisfiability
- proof procedure
- belief change
- satisfiability testing
- classical logic
- operational semantics
- truth maintenance systems
- horn logic
- predicate calculus
- autoepistemic logic
- possibility theory
- fuzzy set theory
- logic programs