%% Zoottelkeeper: Beginning of the autogenerated index file list %%
- [[Digital-garden/Definitions and Facts/Logic/Adequacy to truth|Adequacy to truth]]
- [[Digital-garden/Definitions and Facts/Logic/Back and forth|Back and forth]]
- [[Digital-garden/Definitions and Facts/Logic/Chromatic quantifier|Chromatic quantifier]]
- [[Digital-garden/Definitions and Facts/Logic/Compactness|Compactness]]
- [[Digital-garden/Definitions and Facts/Logic/Comparing logics|Comparing logics]]
- [[Digital-garden/Definitions and Facts/Logic/Definability and interpolation properties|Definability and interpolation properties]]
- [[Digital-garden/Definitions and Facts/Logic/Delta-extension|Delta-extension]]
- [[Digital-garden/Definitions and Facts/Logic/Dense linear ordering|Dense linear ordering]]
- [[Digital-garden/Definitions and Facts/Logic/Dependence logic|Dependence logic]]
- [[Digital-garden/Definitions and Facts/Logic/Fragments of infinitary logic|Fragments of infinitary logic]]
- [[Digital-garden/Definitions and Facts/Logic/Generalized logics|Generalized logics]]
- [[Digital-garden/Definitions and Facts/Logic/Generalized quantifiers|Generalized quantifiers]]
- [[Digital-garden/Definitions and Facts/Logic/Härtig quantifier|Härtig quantifier]]
- [[Digital-garden/Definitions and Facts/Logic/L_HYP|L_HYP]]
- [[Digital-garden/Definitions and Facts/Logic/L-pos|L-pos]]
- [[Digital-garden/Definitions and Facts/Logic/Magidor-Malitz quantifier|Magidor-Malitz quantifier]]
- [[Digital-garden/Definitions and Facts/Logic/Model classes|Model classes]]
- [[Digital-garden/Definitions and Facts/Logic/Numbers of logics|Numbers of logics]]
- [[Digital-garden/Definitions and Facts/Logic/Second order logic|Second order logic]]
- [[Digital-garden/Definitions and Facts/Logic/Stationary logic|Stationary logic]]
- [[Digital-garden/Definitions and Facts/Logic/Symbiosis|Symbiosis]]
- [[Digital-garden/Definitions and Facts/Logic/Tarski property|Tarski property]]
- [[Digital-garden/Definitions and Facts/Logic/Tarski's undefinablity theorem|Tarski's undefinablity theorem]]
- [[Digital-garden/Definitions and Facts/Logic/The Lévy hierarchy|The Lévy hierarchy]]
- [[Digital-garden/Definitions and Facts/Logic/Unbonded logic|Unbonded logic]]
- [[Digital-garden/Definitions and Facts/Logic/Well-ordering quantifier|Well-ordering quantifier]]
%% Zoottelkeeper: End of the autogenerated index file list %%