Jump to content

Talk:Guarded logic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

correction

[edit]

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.