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