( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Theorem Proving for Non-normal Modal Logics.

, , , и . OVERLAY, том 2785 из CEUR Workshop Proceedings, стр. 17-22. 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.

Nicola Galabaroff

Rudolf Nicola

Nicola Mößner

Nicola Ettlin

Ernesto Nicola

 

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

Tableaux and Sequent Calculus for Minimal Entailment.. J. Autom. Reason., 9 (1): 99-139 (1992)PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics., , , и . AI*IA, том 11946 из Lecture Notes in Computer Science, стр. 165-179. Springer, (2019)Preface.. J. Log. Comput., 20 (1): 1-3 (2010)Weak AGM postulates and strong Ramsey Test: A logical formalization., , и . Artif. Intell., 168 (1-2): 1-37 (2005)Tableau calculus for preference-based conditional logics: PCL and its extensions., , , и . ACM Trans. Comput. Log., 10 (3): 21:1-21:50 (2009)Belief Revision and the Ramsey Test: A Solution., , и . AI*IA, том 2175 из Lecture Notes in Computer Science, стр. 165-175. Springer, (2001)A Sequent Calculus for Skeptical Default Logic., и . TABLEAUX, том 1227 из Lecture Notes in Computer Science, стр. 107-121. Springer, (1997)Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models., и . JELIA, том 7519 из Lecture Notes in Computer Science, стр. 1-13. Springer, (2012)Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics., , , и . LFCS, том 11972 из Lecture Notes in Computer Science, стр. 27-46. Springer, (2020)Tableaux for Lukasiewicz Infinite-valued Logic.. Stud Logica, 73 (1): 81-111 (2003)