Talk:Guarded logic

correction
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.