Marianna Girlando | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Anupam Das
15 publications
Tiziano Dalmonte
7 publications
Nicola Olivetti
6 publications
Sara Negri
1 publication

research

∙ 10/19/2022

Comparative plausibility in neighbourhood models: axiom systems and sequent calculi

We introduce a family of comparative plausibility logics over neighbourh...

0 Tiziano Dalmonte, et al. ∙

research

∙ 05/17/2022

Cyclic Proofs, Hypersequents, and Transitive Closure Logic

We propose a cut-free cyclic system for Transitive Closure Logic (TCL) b...

0 Anupam Das, et al. ∙

research

∙ 02/14/2020

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics

The preferential conditional logic PCL, introduced by Burgess, and its e...

0 Marianna Girlando, et al. ∙