( en | de | ru )

 

Disambiguierung von "Girlando, Marianna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Theorem Proving for Lewis Logics of Counterfactual Reasoning.

, , , , und . CILC, Volume 2710 von CEUR Workshop Proceedings, Seite 199-213. CEUR-WS.org, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Marianna Tsaroucha

Marianna Hricová

Marianna Eichenlaub

Marianna Michaloudaki

Marianna Cortese

 

Weitere Publikationen von Autoren mit dem selben Namen

Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus., , , und . Rev. Symb. Log., 11 (4): 736-779 (2018)Intuitionistic S4 is decidable., , , , und . LICS, Seite 1-13. (2023)Uniform Labelled Calculi for Conditional and Counterfactual Logics., , und . WoLLIC, Volume 11541 von Lecture Notes in Computer Science, Seite 248-263. Springer, (2019)Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics., , und . J. Log. Comput., 31 (3): 947-997 (2021)The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus., , , und . Advances in Modal Logic, Seite 322-341. College Publications, (2016)Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning., , , , und . J. Log. Comput., 32 (2): 233-280 (2022)On the Proof Theory of Conditional Logics. (De la théorie de la démonstration pour logiques conditionnelles).. Aix-Marseille University, France, (2019)Theorem Proving for Lewis Logics of Counterfactual Reasoning., , , , und . CILC, Volume 2710 von CEUR Workshop Proceedings, Seite 199-213. CEUR-WS.org, (2020)Comparative plausibility in neighbourhood models: axiom systems and sequent calculi., und . AiML, Seite 305-327. College Publications, (2022)Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics., , und . CoRR, (2020)