Atlas home || Conferences | Abstracts | about Atlas

Tableaux Non Classical Systems Comparison (TANCS 2000)

July 4-7, 2000

St. Andrews, Scotland

Mathematics

Host: University of St Andrews
Homepage: http://www.dis.uniroma1.it/~tancs
Email: tancs@dis.uniroma1.it

Deadline for abstracts: January 19, 2000

Description:
For TANCS-2000 the focus is on extended modal and description logics and in particular:

modal logic K without global axioms (description logic ALC); modal logic K with global axioms (ALC with cyclic TBox); basic temporal logic Kt (ALC with inverse roles); temporal logic Kt with global axioms (ALC with inverse roles with cyclic TBox).

Date received: November 05, 1999

© 2008 Atlas Conferences Inc.