Author of the publication

Labelled Resolution for Classical and Non-classical Logics.

, and . Studia Logica, 59 (1): 179-216 (1997)

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

Editorial.. J. Log. Comput., 8 (1): 3 (1998)Agents in Proactive Environments., , and . J. Log. Comput., 9 (1): 25-45 (1999)An equational approach to the merging of argumentation networks., and . J. Log. Comput., 24 (6): 1253-1277 (2014)Modal Provability Foundations for Argumentation Networks.. Studia Logica, 93 (2-3): 181-198 (2009)Combining Logic I - Introduction., and . Studia Logica, 59 (1): 1-4 (1997)Meta-Argumentation Modelling I: Methodology and Techniques., , , and . Studia Logica, 93 (2-3): 297-355 (2009)Logical Modes of Attack in Argumentation Networks., and . Studia Logica, 93 (2-3): 199-230 (2009)Products of Modal Logics. Part 3: Products of Modal and Temporal Logics., and . Studia Logica, 72 (2): 157-183 (2002)Equational approach to argumentation networks.. Argument & Computation, 3 (2-3): 87-142 (2012)Modal and temporal argumentation networks., , and . Argument & Computation, 3 (2-3): 203-227 (2012)