![]() | This article is rated Stub-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||
|
This definition is wrong.
Guarded logics are logics where the language is limited to guarded formulae, e.g. \forall y . Rxy -> Ay. In that example, Ay is "guarded" by Rxy.