On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic $GL$.
Andrei RusuPublished in: CoRR (2013)
Keyphrases
- sufficient conditions
- multi valued
- sound and complete axiomatization
- truth maintenance systems
- exponential stability
- probabilistic logic
- linear systems
- asymptotic stability
- first order logic
- propositional logic
- lyapunov function
- classical logic
- equilibrium point
- linear complementarity problem
- autoepistemic logic
- t norm
- horn clauses
- logic programming
- fixed point
- optimal policy
- logic programs
- state space
- asymptotic optimality
- efficiently computable