Advances in Modal Logic '98
The second Advances in Modal Logic workshop, AiML'98, was held from October 16-18, 1998 at the University of Uppsala in Uppsala, Sweden.
Local organization:
Krister Segerberg and Rysiek Sliwinski
Programme committee:
Maarten de Rijke, Krister Segerberg, Heinrich Wansing, and Michael Zakharyaschev (chair)
AiML'98 was generously sponsored by
- Neurotec Hochtechnologie GmbH,
- the Computational Logic Group at ILLC, University of Amsterdam,
- Compulog Net network for Computational Logic,
- the Royal Swedish Academy of Science,
- and the University of Uppsala.
Call for papers: [ PS ]
Programme
Friday, October 16
- 09.00-9.15
- Opening
B. Sundqvist, Rector Magnificus Uppsala University - 09.15-10.15
- Agency and Deontic Logic
Invited speaker: John F. Horty - 10.15-10.45
- Conditional and unconditional obligation for agents in time
Mark A. Brown - 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
- 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 - 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
- 09.00-10.00
- Propositions, propositional attitudes and belief revision
Invited speaker: Rohit Parikh - 10.00-10.30
- Infinitary axiomatisations for weak logics of theory change
John Cantwell - 10.45-11.45
- Oscillating proofs and changing assumptions
Invited speaker: Dov M. Gabbay - 11.45-12.15
- Modal logics, description logics and arithmetic reasoning
Hans J. Ohlbach, Jana Koehler
Lunch
- 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 - 15.45-16.15
- STS: A structural theory of sets
Alexandru Baltag - 16.15-17.15
- Unworldliness
Invited speaker: Kit Fine
- 17.30-18.00
- Business meeting
Sunday, October 18
- 09.00-10.00
- Logic and grammar - a personal perspective
Invited speaker: Marcus Kracht - 10.00-10.30
- Rasiowa-Sikorski's lemma and Kripke completeness of predicate and infinitary modal logics
Yoshihito Tanaka and Hiroakira Ono - 10.45-11.15
- Two-dimensional modal logics and relativized quantifiers
Valentin Shehtman - 11.15-12.15
- How to complete some modal predicate logics
Invited speaker: Max J. Cresswell - 12.30-13.30
- The range of modal logic
Invited speaker: Johan van Benthem