guarded_fragment (348B)
1 # Guarded fragment 2 3 - [gf2] 4 - [gc2]: like [fo2] with [counting_quantifiers] 5 - [gck] 6 - [guarded_TGD] 7 8 According to [cate2023craig], enjoys [finite_model_property] but not [craig_interpolation] 9 10 [Online_workshop]: [GF25] 11 12 See also: [michael], [finite_model_theory], [guarded_negation], [pratt_hartmann], [frontier_guarded], [guard_atom] 13 14 Up: [logic]