An Application of Justification Logic to Protocol Verification

Studer, Thomas

doi:10.1109/cis.2011.177

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2012

2019

Publication Types

Select...

Article3

Book2

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 5 publications

(1 citation statement)

References 14 publications

(11 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…See his PhD thesis [Kuz08] for an overview. Recently, Studer [Stu11] presented an application of justification logic to protocol verification.…”

Section: Introductionmentioning

confidence: 99%

What Are Justification Logics?

Fitting

2019

View full text Add to dashboard Cite

In Chapter 2, we classify the 24 justification logics by introducing an embedding relation on them that extends that of Fitting [Fit08]. This embedding gives rise to an equivalence relation, which is natural in the sense that two equivalent justification logics realize the same modal logic. The modular realization theorem in Chapter 3 will also establish the converse direction of this statement, thereby demonstrating that the embedding provides the right level of granularity among justification logics. The machinery of embeddings also enables us to study minimal sets of operations on terms. For instance, we show that some logics do I am also especially thankful to Roman Kuznets. I learned a lot from him and working with him was always a great pleasure. Many ideas and results presented in this thesis evolved from the collaboration with him. Special thanks also go to Kai Brünnler for a successful and fun collaboration and for patiently answering my questions on proof theory.

show abstract

“…See his PhD thesis [Kuz08] for an overview. Recently, Studer [Stu11] presented an application of justification logic to protocol verification.…”

Section: Introductionmentioning

confidence: 99%