Mirko Tagliaferri

According to our database, Mirko Tagliaferri authored at least 13 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

A logical perspective on intending to keep a true secret.

Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri

J. Log. Comput., 2025

Support + Belief = Decision Trust.

Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri

Proceedings of the Structural Information and Communication Complexity, 2025

2024

A probabilistic modal logic for context-aware trust based on evidence.

Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri

Int. J. Approx. Reason., 2024

On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret.

Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri

Proceedings of the Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops, 2024

2023

Frequentist Probability Logic.

Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri

Proceedings of the Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops, 2023

2022

From belief to trust: A quantitative framework based on modal logic.

Mirko Tagliaferri, Alessandro Aldini

J. Log. Comput., 2022

Using Justified True Beliefs to Explore Formal Ignorance.

Mirko Tagliaferri

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

2021

Trust Evidence Logic.

Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

2020

Reasoning About Ignorance and Beliefs.

Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2019

A Trust Logic for the Varieties of Trust.

Mirko Tagliaferri, Alessandro Aldini

Proceedings of the Software Engineering and Formal Methods, 2019

Logics to Reason Formally About Trust Computation and Manipulation.

Alessandro Aldini, Mirko Tagliaferri

Proceedings of the Emerging Technologies for Authorization and Authentication, 2019

2018

From Knowledge to Trust: A Logical Framework for Pre-trust Computations.

Mirko Tagliaferri, Alessandro Aldini

Proceedings of the Trust Management XII - 12th IFIP WG 11.11 International Conference, 2018

A Trust Logic for Pre-Trust Computations.

Mirko Tagliaferri, Alessandro Aldini

Proceedings of the 21st International Conference on Information Fusion, 2018