We investigate quantified interpreted systems, a computationally grounded semantics for a first-order temporal epistemic logic on linear time. We report a completeness result for the monodic fragment of a language that includes LTL modalities as well as distributed and common knowledge. We exemplify possible uses of the formalism by analysing message passing systems, a typical framework for distributed systems, in a first-order setting.
Swipe to navigate through the chapters of this book
Please log in to get access to this content
To get access to this content you need the following product:
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
- Springer Berlin Heidelberg
- Sequence number
Neuer Inhalt/© ITandMEDIA