( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Theory and Proof Theory of CPL.

, , , и . CoRR, (2017)

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.

Katsuhiko Kondo

Kazuhiko Sano

Shigeo Sano

Britta Sano

Ahmed Abd El-Ghani Sanousi

 

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

Model Theory and Proof Theory of CPL., , , и . CoRR, (2017)Characterizing Relative Frame Definability in Team Semantics via the Universal Modality., и . WoLLIC, том 9803 из Lecture Notes in Computer Science, стр. 392-409. Springer, (2016)Goldblatt-Thomason-style Theorems for Graded Modal Language., и . Advances in Modal Logic, стр. 330-349. College Publications, (2010)Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic., и . CoRR, (2022)Term-Sequence-Modal Logics., , и . LORI, том 11813 из Lecture Notes in Computer Science, стр. 244-258. Springer, (2019)Alternative Semantics for Visser's Propositional Logics., и . TbiLLC, том 8984 из Lecture Notes in Computer Science, стр. 257-275. Springer, (2013)Generalized Product of Coalgebraic Hybrid Logics.. CALCO, том 6859 из Lecture Notes in Computer Science, стр. 329-343. Springer, (2011)Characterizing Frame Definability in Team Semantics via the Universal Modality., и . WoLLIC, том 9160 из Lecture Notes in Computer Science, стр. 140-155. Springer, (2015)Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus.. LORI, том 10455 из Lecture Notes in Computer Science, стр. 224-239. Springer, (2017)Axiomatizing Propositional Dependence Logics., и . CSL, том 41 из LIPIcs, стр. 292-307. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)