Non-axiomatizability for Linear Temporal Logic of Knowledge with Concrete Observability
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..
To appear in Journal of Logic and Computation.