Fragments of First-Order Logic

Preface
Acknowledgements
1: Introduction
Part I: Syntactic Restrictions
2: Roots
3: Variables
4: Guards
5: Prefixes
6: Fluting
Part II: Counting Quantifiers
7: Counting with one variable
8: Counting with two variables
9: Guarded counting
10: Omitting graphs
Part III: Semantic Constraints
11: Modalities
12: Equivalence
13: Equivalence and counting
14: Transitivity
15: Trees

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Lógica matemática
• Modelação matemática