Abstract

We show that propositional linear temporal logic with knowledge modalities but without common knowledge has an undecidable satisfiability problem when interpreted in a ‘concrete’ semantics with perfect recall or with perfect recall and synchrony.We then conclude that this concrete semantics is not axiomatizable in the semantics, based on local states.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call