Unifiers in transitive modal logics for formulas with coefficients (meta-variables).
Vladimir V. RybakovPublished in: Log. J. IGPL (2013)
Keyphrases
- modal logic
- modal operators
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- classical logic
- nonmonotonic logics
- existentially quantified
- default logic
- linear combination
- propositional formulas
- logical formulas
- special case
- transitive closure
- real numbers
- wavelet coefficients
- random variables
- universally quantified
- horn clauses
- situation calculus
- conditional probabilities
- partial order
- autoepistemic logic
- sequent calculus
- equational theories