Arrival Information
Important Dates
Program Committee/
Steering Committee/
Local Organisers
 Registration and Travel 
Registration Info
Conference Location/
Travel Info
List of Participants
Invited Speakers
Accepted Papers
 Co-located  Events
 Additional  Information
Full Addresses
Publication Details/
Conference Proceedings
Call for Participation
Call for Papers
Submission Details
The City & Tourism

Man logo

Submission Details


Topics of interest include:

  • complexity and decidability of modal and temporal logics,
  • deontic logic,
  • description logics,
  • dynamic logic,
  • epistemic logic,
  • modal logics of space,
  • modal logic and game theory,
  • modal logic and grammar formalisms,
  • modal and temporal logic programming and theorem proving,
  • model theory and proof theory of modal logics,
  • computational aspects of modal logics,
  • correspondence theory, duality theory,
  • representation of time in natural language semantics,
  • non-monotonic modal logics,
  • modal logics for agent-based systems,
  • modal logic in Computer Science and AI,
  • provability logic,
  • mathematics of modal logic,
  • philosophy of modal logic.

Papers on related subjects will also be considered.

Special session

During the conference there will be a special session on

  • Modal Logics for Knowledge and Action.


Authors are invited to submit a detailed abstract of at most 10 pages (a4paper, 11pt). The cover page should include title, names of authors, the co-ordinates of the corresponding author, and some keywords describing the topic of the paper. Please indicate if you want your paper to be considered for the special session.

Postscript and PDF files can be accepted.

Electronic submission page

21.04.2004: Submissions have closed. The electronic submission page is no longer accessible.

Submission deadline

To be considered, submissions must be received no later than April 15, 2004.

Note that at least one author of each accepted paper is required to register for and attend the conference to present the paper. (Otherwise there is a risk of not being invited to the formal proceedings volume.)

Last modified: 27 Aug 04
Copyright © 2003-2004 Renate Schmidt, Department of Computer Science, University of Manchester