Submission Details

Scope

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.

Submissions

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.)