Studia Logica

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems deductive databases, knowledge representation (and its required inference engines) and system diagnosis. This special issue of Studia Logica will be devoted to papers concerned with analytic tableaux and related methods of automated reasoning.

Suitable topics include:

• analytic tableaux for various logics (theory and applications)
• related techniques and concepts, e.g., model checking and BDDs
• related methods: model elimination, sequent calculi, connection method
• new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, ...)
• systems, tools, implementations and applications

Submitted papers must be in English and describe original research which has not previously been published in a refereed journal. Deadline for submission is 30th MAY 2000.

The special issue will consist mainly of extensions of selected papers from the Tableaux 2000 Conference; other papers may be submitted specially for the issue.

Studia Logica publishes articles in general logic and on applications of logic to other fields, such as philosophy of language, cognitive science, and artificial intelligence. The distinctive feature of Studia Logica is its series of monothematic issues devoted to important topics of contemporary logic.

Please send complete papers electronically in PostScript format (preferred) or hardcopy to the first-named editor of this special issue:

Heinrich Wansing Institute for Philosophy Dresden University of Technology Dresden, Germany Scotland wansing@rcs1.urz.tu-dresden.de

Roy Dyckhoff School of Computer Science St Andrews University Scotland rd@dcs.st-and.ac.uk

Authors of papers being considered for Tab2000 are invited to communicate with the second-named editor if they wish the paper (if accepted) to be considered for inclusion in the special issue. For copyright reasons, only significantly extended versions may be included therein.