The following pages link to Finite Model Theory (Q5708365):
Displaying 14 items.
- Dependence logic with a majority quantifier (Q302214) (← links)
- The middle ground-ancestral logic (Q2053352) (← links)
- Model theory of monadic predicate logic with the infinity quantifier (Q2144617) (← links)
- Modal definability: two commuting equivalence relations (Q2169131) (← links)
- Characterizability in Horn Belief Revision (Q2835894) (← links)
- An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers (Q2947176) (← links)
- On Failure of 0-1 Laws (Q2947181) (← links)
- 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)
- Yes, the “missing axiom” of matroid theory is lost forever (Q4642529) (← links)
- Complexity and expressive power of second‐order extended Horn logic (Q4915214) (← links)
- An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions (Q6063870) (← links)
