Specifying and verifying interaction protocols in a temporal action logic

, &
Journal of Applied Logic 5 (2):214-234 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.12.011

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Automatic verification of temporal-epistemic properties of cryptographic protocols.Ioana Boureanu, Mika Cohen & Alessio Lomuscio - 2009 - Journal of Applied Non-Classical Logics 19 (4):463-487.
Phase semantics for linear-time formalism.Norihiro Kamide - 2011 - Logic Journal of the IGPL 19 (1):121-143.
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis.Carlos Caleiro, Luca Viganò & David Basin - 2005 - Logic Journal of the IGPL 13 (6):637-663.
Metric dynamic equilibrium logic.Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Farinas del Cerro, Torsten Schaub & Anna Schuhmann - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):495-519.
Epistemic protocols for dynamic gossip.Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian & François Schwarzentruber - 2017 - Journal of Applied Logic 20:1-31.
To know or not to know: epistemic approaches to security protocol verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (S1):51-76.
Verifying Temporal Heap Properties Specified via Evolution Logic.E. Yahav, T. Reps, M. Sagiv & R. Wilhelm - 2006 - Logic Journal of the IGPL 14 (5):755-783.
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems.Raymond Reiter - 2001 - Cambridge: Mass. : MIT Press.
Action and Knowledge in Alternating-Time Temporal Logic.Thomas Ågotnes - 2006 - Synthese 149 (2):375-407.
The complexity of temporal logic over the reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.

Analytics

Added to PP
2016-06-30

Downloads
15 (#974,850)

6 months
2 (#1,259,303)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Frames in the space of situations.Vladimir Lifschitz - 1990 - Artificial Intelligence 46 (3):365-376.
Dynamic linear time temporal logic.Jesper G. Henriksen & P. S. Thiagarajan - 1999 - Annals of Pure and Applied Logic 96 (1-3):187-207.

Add more references