Advances in Modal Logic'98
AiML'98
October 16-18, 1998
Uppsala University, Uppsala, Sweden
Scientific Program
| Session 1, Chair: Michael
Zakharyaschev |
| 09.00 - 09.15: |
Opening
B. Sundqvist, Rector Magnificus Uppsala University |
|
| 09.15 - 10.15: |
Invited Lecture: Agency and Deontic
Logic
John F. Horty |
| 10.15 - 10.45: |
Conditional and unconditional obligation
for agents in time
Mark A. Brown |
|
| Session 2, Chair: Johan van
Benthem |
| 11.00 - 11.30: |
Dynamic description logic
Frank Wolter, Michael Zakharyashev |
| 11.30 - 12.00: |
A resolution-based decision procedure for extensions of K4
H. Ganzinger, U. Hustadt, C. Meyer, R.A. Schmidt |
| 12.00 - 12.30: |
Abductive reasoning over
temporal specifications of objects
Paula Gouveia, Cristina Sernadas |
|
| Lunch |
|
| Session 3, Chair: Dov M. Gabbay |
| 14.00 - 14.30: |
Locally tabular extensions of MIPC
Guram Bezhanishvili and Revaz Grigolia |
| 14.30 - 15.00: |
Relating
Categorial and Kripke Semantics for Intuitionistic Modal Logics
Natasha Alechina, Valeria de Paiva and Eike Ritter |
| 15.00 - 15.30: |
The interpolation theorem for IL and ILP
Carlos Areces, Dick de Jongh, Eva Hoogland |
|
| Session 4, Chair: Rohit Parikh |
| 15.45 - 16.15: |
A modal analysis of some principles of the provability
logic of Heyting Arithmetic
Rosalie Iemhoff |
| 16.15 - 17.15: |
Tutorial: Explicit modal logic
Sergei Artemov |
| Saturday, October 17, 1998 |
| Session 5: Belief
Revision, Chairs: Sven-Ove Hansson and Sten Lindström |
| 09.00 - 10.00: |
Invited lecture: Propositions, propositional
attitudes and belief revision
Rohit Parikh |
| 10.00 - 10.30: |
Infinitary axiomatisations for weak logics of theory change
John Cantwell |
|
| 10.45 - 11.45: |
Invited lecture: Oscillating proofs and changing assumptions
Dov M. Gabbay |
|
| Session 6, Chair: Hiroakira Ono |
| 11.45 - 12.15: |
Modal logics, description logics and arithmetic reasoning
Hans J. Ohlbach, Jana Koehler |
|
| Lunch |
|
| Session 7, Chair: Viggo Stoltenberg-Hansen
|
| 14.00 - 14.30: |
Modal logic and universal algebra
Valentin Goranko, Dimiter Vakarelov |
| 14.30 - 15.00: |
Canonical pseudo-correspondence
Yde Venema |
| 15.00 - 15.30: |
Modal logic and coalgebras
Alexander Kurz |
|
| Session 8, Chair: Lennart Aqvist |
| 15.45 - 16.15: |
STS: A structural theory of sets
Alexandru Baltag |
| 16.15 - 17.15: |
Invited lecture: Unworldliness
Kit Fine |
|
| 17.30 - 18.00: |
Business meeting
|
| Session 9, Chair: Sergei Artemov |
| 09.00 - 10.00: |
Invited lecture: Logic and grammar - a personal perspective
Marcus Kracht |
| 10.00 - 10.30: |
Rasiowa-Sikorski's lemma and
Kripke complete-
ness of predicate and infinitary modal logics
Yoshihito Tanaka and Hiroakira Ono |
|
| Session 10, Chair: Kit Fine |
| 10.45 - 11.15: |
Two-dimensional modal logics and relativized quantifiers
Valentin Shehtman |
| 11.15 - 12.15: |
Invited lecture: How to complete some modal predicate logics
Max J. Cresswell |
|
| Session 11, Chair: Paul Gochet |
| 12.30 - 13.30: |
Invited lecture: The range of modal logic
Johan van Benthem |
|
