( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Theorem Proving for Lewis Logics of Counterfactual Reasoning.

, , , , и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 199-213. CEUR-WS.org, (2020)

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.

Marianna Hricová

Marianna Tsaroucha

Marianna Eichenlaub

Marianna Cortese

Marianna Michaloudaki

 

Другие публикации лиц с тем же именем

Intuitionistic S4 is decidable., , , , и . LICS, стр. 1-13. IEEE, (2023)Uniform Labelled Calculi for Conditional and Counterfactual Logics., , и . WoLLIC, том 11541 из Lecture Notes in Computer Science, стр. 248-263. Springer, (2019)The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus., , , и . Advances in Modal Logic, стр. 322-341. College Publications, (2016)Nested Sequents for the Logic of Conditional Belief., , и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 709-725. Springer, (2019)Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics., , и . CoRR, (2020)MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)., и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 398-407. Springer, (2020)Cyclic Proofs, Hypersequents, and Transitive Closure Logic., и . IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 509-528. Springer, (2022)Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?., , и . Advances in Modal Logic, стр. 291-310. College Publications, (2018)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., , , , и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 199-213. CEUR-WS.org, (2020)