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

Canonical completeness of infinitary mu., , and . J. Log. Algebr. Program., 76 (2): 270-292 (2008)Relevant Justification Logic., and . FLAP, 6 (2): 397-412 (2019)Extending the system T0 of explicit mathematics: the limit and Mahlo axioms., and . Ann. Pure Appl. Logic, 114 (1-3): 79-101 (2002)A Semantics for lambda: a Calculus with Overloading and Late-binding.. J. Log. Comput., 11 (4): 527-544 (2001)Probabilistic ABox Reasoning: Preliminary Results., and . Description Logics, volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)On the Proof Theory of the Modal mu-Calculus.. Studia Logica, 89 (3): 343-363 (2008)Syntactic cut-elimination for a fragment of the modal mu-calculus., and . Ann. Pure Appl. Logic, 163 (12): 1838-1853 (2012)The Logic of Temporal Domination.. RIVF, page 1-4. IEEE, (2019)Improving Semantic Query Answering., and . DEXA, volume 4653 of Lecture Notes in Computer Science, page 671-679. Springer, (2007)Privacy Preserving Modules for Ontologies.. Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 380-387. Springer, (2009)