Studia Logica

An Overview of Tableau Algorithms for Description Logics

Franz Baader, Ulrike Sattler · 2001 · 388 citations

Computing, Computer Science, Formal Methods +11

Propositional calculus for contradictory deductive systems

Stanisław Jaśkowski · 1969 · 329 citations

Humanities, Computer Science, Knowledge Representation +12

A Logical Account of Formal Argumentation

Martin Caminada, Dov M. Gabbay · 2009 · 273 citations · Full text

Computing, Computer Science, Philosophy +14

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Wiebe van der Hoek, Michael Wooldridge · 2003 · 273 citations

Humanities, Philosophy, Knowledge Representation +11

A Survey of Abstract Algebraic Logic

Josep Maria Font, Ramón Jansana, Don Pigozzi · 2003 · 259 citations

Humanities, Computer Science, Mathematics +12