Michele Pra Baldi

According to our database, Michele Pra Baldi authored at least 11 papers between 2018 and 2024.

Collaborative distances:

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

2024

A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics.

Massimiliano Carrara, Filippo Mancini, Michele Pra Baldi, Wei Zhu

Stud Logica, December, 2024

2023

A Logical Modeling of Severe Ignorance.

Stefano Bonzio, Vincenzo Fano, Pierluigi Graziani, Michele Pra Baldi

J. Philos. Log., August, 2023

2022

Containment logics: Algebraic Counterparts and Reduced Models.

Stefano Bonzio, Michele Pra Baldi

J. Log. Comput., 2022

2021

Containment Logics: Algebraic Completeness and Axiomatization.

Stefano Bonzio, Michele Pra Baldi

Stud Logica, 2021

On a Logico-Algebraic Approach to AGM Belief Contraction Theory.

Davide Fazio, Michele Pra Baldi

J. Philos. Log., 2021

Extensions of paraconsistent weak Kleene logic.

Francesco Paoli, Michele Pra Baldi

Log. J. IGPL, 2021

Logics of left variable inclusion and Płonka sums of matrices.

Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi

Arch. Math. Log., 2021

2020

Proof Theory of Paraconsistent Weak Kleene Logic.

Francesco Paoli, Michele Pra Baldi

Stud Logica, 2020

Logics of variable inclusion and the lattice of consequence relations.

Michele Pra Baldi

J. Appl. Non Class. Logics, 2020

2019

Algebraic Analysis of Demodalised Analytic Implication.

Antonio Ledda, Francesco Paoli, Michele Pra Baldi

J. Philos. Log., 2019

2018

Counting Finite Linearly Ordered Involutive Bisemilattices.

Stefano Bonzio, Michele Pra Baldi, Diego Valota

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018