Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables.
Dov M. GabbayValentin B. ShehtmanPublished in: J. Symb. Log. (1993)
Keyphrases
- modal logic
- propositional variables
- universally quantified
- conditional logic
- nonmonotonic logics
- expressive power
- first order logic
- temporal logic
- inference rules
- higher order
- logical formulas
- input variables
- classical first order logic
- stochastic dominance
- real numbers
- decision procedures
- classical logic
- variable selection
- conditional probabilities
- random variables
- logic programming