Author of the publication

Saturation-Based Uniform Interpolation for Multi-Modal Logics.

, , and . AiML, page 37-57. College Publications, (2022)

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

The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics., , , , and . Description Logics, volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn., , and . SOQE@KR, volume 3009 of CEUR Workshop Proceedings, page 15-27. CEUR-WS.org, (2021)Non-Classical Logics in Satisfiability Modulo Theories., , , and . TABLEAUX, volume 14278 of Lecture Notes in Computer Science, page 24-36. Springer, (2023)Saturation-Based Uniform Interpolation for Multi-Modal Logics., , and . AiML, page 37-57. College Publications, (2022)A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME., and . SOQE, volume 2013 of CEUR Workshop Proceedings, page 21-26. CEUR-WS.org, (2017)DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic., and . GCAI, volume 65 of EPiC Series in Computing, page 127-138. EasyChair, (2019)