AI ALIGNMENT FORUM
AF

Wikitags

Modalized modal sentence

Edited by Jaime Sevilla Molina last updated 28th Jul 2016

A modal sentence A is said to be modalized in p if every occurrence of p happens within the scope of a □.

As an example, □p∧q is modalized in p, but not in q.

If A does not contain p, then it is trivially modalized in p.

A sentence which is modalized in every sentence letter is said to be fully modalized.

Being modalized in p is a sufficient condition for having a fixed point on p.

Parents:
Modal logic
Discussion0
Discussion0