Product closure of some second-order modal logics

Details Product closure of some second-order modal logics Product closure of some second-order modal logics

2010-11-23

arxiv.org/abs/1011.5183v1

Mathematics

Logic

Scientific paper

Product update is an operation on models introduced into epistemic logic in order to represent a broad class of informational events. If adding modalities representing product update to a language does not alter its expressive power then we say that the language is "closed for product update." The basic modal language is known to be closed for product update. We establish that monadic second order logic is closed for product update (Theorem 5). Our technique is to pass via an intermediate language with what we call "action nominals." We obtain as corollaries that propositionally quantified modal logic is closed for product update, as is the modal mu-calculus.

Affiliated with

Also associated with

No associations

Rating

Product closure of some second-order modal logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Product closure of some second-order modal logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Product closure of some second-order modal logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-589397