( en | de | ru )

 

Disambiguation of "Girlando, Marianna"

Author of the publication

copydeleteadd this publication to your clipboard
On the Proof Theory of Conditional Logics. (De la théorie de la démonstration pour logiques conditionnelles).

. Aix-Marseille University, France, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marianna Hricová

Marianna Tsaroucha

Marianna Eichenlaub

Marianna Cortese

Marianna Michaloudaki

 

Other publications of authors with the same name

Intuitionistic S4 is decidable., , , , and . LICS, page 1-13. IEEE, (2023)Uniform Labelled Calculi for Conditional and Counterfactual Logics., , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 248-263. Springer, (2019)The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus., , , and . Advances in Modal Logic, page 322-341. College Publications, (2016)MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)., and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 398-407. Springer, (2020)Nested Sequents for the Logic of Conditional Belief., , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 709-725. Springer, (2019)Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics., , and . CoRR, (2020)Cyclic Proofs, Hypersequents, and Transitive Closure Logic., and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 509-528. Springer, (2022)Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?., , and . Advances in Modal Logic, page 291-310. College Publications, (2018)Theorem Proving for Lewis Logics of Counterfactual Reasoning., , , , and . CILC, volume 2710 of CEUR Workshop Proceedings, page 199-213. CEUR-WS.org, (2020)Comparative plausibility in neighbourhood models: axiom systems and sequent calculi., and . AiML, page 305-327. College Publications, (2022)