Atlas home || Conferences | Abstracts | about Atlas

AiML-ICTL 2000 Advances in Modal Logic and International Conference on Temporal Logic

October 4-7, 2000

Leipzig, Germany

Mathematics

Host: University of Leipzig
Homepage: http://turing.wins.uva.nl/~mdr/AiML/workshops.html

Description:
Topics of interest include: common-sense temporal reasoning, complexity of modal and temporal logics, deontic logic, description logics, dynamic logic, epistemic logic, modal logics of agency and space, modal logic and game theory, modal logic and grammar formalisms, modal realism and anti-realism, modal and temporal logic programming and theorem proving, model theory and proof theory of modal and temporal logic, representation of time in natural language semantics, non-monotonic modal logics, provability logic, temporal databases.

Speakers: Nuel Belnap (Pittsburgh), Stephane Demri (Grenoble), Silvio Ghilardi (Milan), Giuseppe de Giacomo (Rome), Mark Reynolds (Perth), Krister Segerberg (Uppsala), Colin Stirling (Edinburgh), Moshe Vardi (Houston)

Date received: November 04, 1999

© 2008 Atlas Conferences Inc.