The following pages link to Finite Model Theory (Q5708365):
Displayed 9 items.
- ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES" (Q3502827) (← links)
- ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES (Q3561120) (← links)
- Towards incorporating background theories into quantifier elimination (Q3643319) (← links)
- Approximate databases: a support tool for approximate reasoning (Q3647257) (← links)
- Using Program Schemes to Capture Polynomial-Time Logically on Certain Classes of Structures (Q4827608) (← links)
- Complexity and expressive power of second‐order extended Horn logic (Q4915214) (← links)
- PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT (Q5291329) (← links)
- RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES (Q5294339) (← links)
- Henkin quantifiers and the definability of truth (Q5928923) (← links)