Marco Volpe

Proceedings of the Interactive Storytelling, 2021

2019

A general proof certification framework for modal logic.

[BibT_eX]

[DOI]

Tomer Libal

Math. Struct. Comput. Sci., 2019

2017

An interpolation-based method for the verification of security protocols.

[BibT_eX]

[DOI]

Marco Rocchetto

J. Comput. Secur., 2017

A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations.

[BibT_eX]

[DOI]

Margherita Zorzi

Inf. Comput., 2017

2016

Certification of Prefixed Tableau Proofs for Modal Logic.

[BibT_eX]

[DOI]

Tomer Libal

Proceedings of the Seventh International Symposium on Games, 2016

A focused framework for emulating modal proof systems.

[BibT_eX]

[DOI]

Sonia Marin

Dale Miller

Proceedings of the Advances in Modal Logic 11, 2016

2015

Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.

[BibT_eX]

[DOI]

João Marcos

Theor. Comput. Sci., 2015

Focused Labeled Proof Systems for Modal Logic.

[BibT_eX]

[DOI]

Dale Miller

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper).

[BibT_eX]

[DOI]

Margherita Zorzi

Proceedings of the Logic, Language, Information, and Computation, 2014

2013

On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators.

[BibT_eX]

[DOI]

Logica Universalis, 2013

A Labeled Deduction System for the Logic UB.

[BibT_eX]

[DOI]

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Using Interpolation for the Verification of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 9th International Workshop, 2013

2012

Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.

[BibT_eX]

[DOI]

João Marcos

Proceedings of the Logic, Language, Information and Computation, 2012

2011

Labelled natural deduction for a bundled branching temporal logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

2010

Labeled natural deduction for temporal logics.

[BibT_eX]

[DOI]

PhD thesis, 2010

Back from the future.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2010

2009

A History of Until.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Methods for Modalities, 2009

A Labeled Natural Deduction System for a Fragment of CTL*.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

Labeled Natural Deduction Systems for a Family of Tense Logics.

[BibT_eX]

[DOI]