Author of the publication

Decidability for Justification Logics Revisited.

, , and . TbiLLC, volume 7758 of Lecture Notes in Computer Science, page 166-181. Springer, (2011)

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

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