( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Maehara-style modal nested calculi.

, и . Arch. Math. Log., 58 (3-4): 359-385 (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.

Olga Romanow

Max Viktor Romanus

Kornel Romaniuk

Fouad Romani

Maria-Elena Romansky-Rieken

 

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

Update as Evidence: Belief Expansion., и . LFCS, том 7734 из Lecture Notes in Computer Science, стр. 266-279. Springer, (2013)Modal interpolation via nested sequents., и . Ann. Pure Appl. Log., 166 (3): 274-305 (2015)Realizing public announcements by justifications., , и . J. Comput. Syst. Sci., 80 (6): 1046-1066 (2014)Impure Simplicial Complexes: Complete Axiomatization., , и . Log. Methods Comput. Sci., (2023)The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems., , , и . Minds Mach., 33 (2): 293-319 (июня 2023)A priori Belief Updates as a Method for Agent Self-Recovery., и . CoRR, (2023)Uniform Interpolation via Nested Sequents., , и . WoLLIC, том 13038 из Lecture Notes in Computer Science, стр. 337-354. Springer, (2021)On Two- and Three-valued Semantics for Impure Simplicial Complexes., , и . GandALF, том 390 из EPTCS, стр. 50-66. (2023)Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi.. JELIA, том 10021 из Lecture Notes in Computer Science, стр. 320-335. (2016)Proof Identity for Classical Logic: Generalizing to Normality.. LFCS, том 4514 из Lecture Notes in Computer Science, стр. 332-348. Springer, (2007)