Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Update as Evidence: Belief Expansion., and . LFCS, volume 7734 of Lecture Notes in Computer Science, page 266-279. Springer, (2013)Modal interpolation via nested sequents., and . Ann. Pure Appl. Log., 166 (3): 274-305 (2015)Uniform Interpolation via Nested Sequents., , and . WoLLIC, volume 13038 of Lecture Notes in Computer Science, page 337-354. Springer, (2021)On Two- and Three-valued Semantics for Impure Simplicial Complexes., , and . GandALF, volume 390 of EPTCS, page 50-66. (2023)Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi.. JELIA, volume 10021 of Lecture Notes in Computer Science, page 320-335. (2016)A New Hope., , and . AiML, page 349-369. College Publications, (2022)On the Complexity of Explicit Modal Logics.. CSL, volume 1862 of Lecture Notes in Computer Science, page 371-383. Springer, (2000)Proof Identity for Classical Logic: Generalizing to Normality.. LFCS, volume 4514 of Lecture Notes in Computer Science, page 332-348. Springer, (2007)Intuitionistic S4 is decidable., , , , and . LICS, page 1-13. IEEE, (2023)Fire!, , and . TARK, volume 335 of EPTCS, page 139-153. (2021)