( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Complexity of Explicit Modal Logics.

. CSL, том 1862 из Lecture Notes in Computer Science, стр. 371-383. Springer, (2000)

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

Christoph Romanowski

 

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

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)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)On the Complexity of Explicit Modal Logics.. CSL, том 1862 из Lecture Notes in Computer Science, стр. 371-383. Springer, (2000)Proof Identity for Classical Logic: Generalizing to Normality.. LFCS, том 4514 из Lecture Notes in Computer Science, стр. 332-348. Springer, (2007)Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi.. JELIA, том 10021 из Lecture Notes in Computer Science, стр. 320-335. (2016)A New Hope., , и . AiML, стр. 349-369. College Publications, (2022)Bisimulation for Impure Simplicial Complexes., , , и . CoRR, (2024)Intuitionistic S4 is decidable., , , , и . LICS, стр. 1-13. IEEE, (2023)