Supervaluation Fixed-Point Logics of Truth.
Philip KremerAlasdair UrquhartPublished in: J. Philos. Log. (2008)
Keyphrases
- fixed point
- truth values
- valued logic
- default logic
- inference rules
- expressive power
- modal logic
- sufficient conditions
- belief propagation
- first order logic
- propositional logic
- constraint databases
- dynamical systems
- floating point
- classical logic
- policy iteration
- free energy
- bargaining solution
- high quality
- variational inequalities
- pairwise