Marianna Girlando
Marianna Girlando
Inria Saclay - Ile de France and LIX, École Polytechnique
Verified email at inria.fr
Title
Cited by
Cited by
Year
Standard sequent calculi for Lewis’ logics of counterfactuals
M Girlando, B Lellmann, N Olivetti, GL Pozzato
European Conference on Logics in Artificial Intelligence, 272-287, 2016
192016
The logic of conditional beliefs: neighbourhood semantics and sequent calculus
M Girlando, S Negri, N Olivetti, V Risch
152016
Conditional beliefs: from neighbourhood semantics to sequent calculus
M Girlando, S Negri, N Olivetti, V Risch
The review of symbolic logic 11 (4), 736-779, 2018
102018
Hypersequent calculi for Lewis’ conditional logics with uniformity and reflexivity
M Girlando, B Lellmann, N Olivetti, GL Pozzato
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
102017
VINTE: An Implementation of Internal Calculi for Lewis’ Logics of Counterfactual Reasoning
M Girlando, B Lellmann, N Olivetti, GL Pozzato, Q Vitalis
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
52017
On the proof theory of conditional logics
M Girlando
42019
Uniform labelled calculi for conditional and counterfactual logics
M Girlando, S Negri, G Sbardolini
International Workshop on Logic, Language, Information, and Computation, 248-263, 2019
32019
Counterfactual logic: labelled and internal calculi, two sides of the same coin?
M Girlando, S Negri, N Olivetti
32018
Hypersequent calculus for the logic of conditional belief: preliminary results
M Girlando, B Lellmann, N Olivetti
in EICNCL Floc Workshop Proceedings, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–9