AiML'96

Programme committee: Marcus Kracht, Maarten de Rijke (chair), Heinrich Wansing, Michael Zakharyaschev

AiML'96 is generously sponsored by: Neurotec Hochtechnologie GmbH, Compulog Network for Computational Logic, and Berliner Mathematische Gesellschaft (BMG)

To preserve the workshop character of AiML'96, participation is limited. To register, please contact Marcus Kracht.

The Programme

Tuesday, October 8, 1996

09.00-10.00]

Invited lecture
Dimiter Vakarelov (Sofia) - Hyper Arrow Logic

10.15-10.45

Philippe Balbiani (Paris) - Terminological Modal Logic

11.00-11.30

Bernhard Heinemann (Hagen) - Topological Nexttime Logic

11.45-12.15

Riccardo Rosati (Rome) - Minimal Knowledge States in Nonmonotonic Modal Logics

14.00-14.30

Carsten Grefe (Berlin) - On the Finite Model Property of Fischer Servi's Intuitionistic Modal Logic

14.45-15.15

A.D. Yashin (Izhevsk) - Two Kinds of Irreflexive Modality in Intuitionistic Logic and Novikov Completeness

15.30-16.00

Tomasz Kowalski (Krakow) - There are Continuum Many Minimal Varieties of Temporal Algebras

16.15-17.15

Invited lecture
Frank Wolter (Ishikawa) - Fusions of Modal Logics Revisited

Evening programme

Special session in honour of Wolfgang Rautenberg on the occasion of his 60th birthday, with an invited lecture by Wim Blok (Chicago).

Wednesday, October 9, 1996

09.00-10.00

Invited lecture
Albert Visser (Utrecht) - Interpretability Logic

10.15-10.45

Alberto Artosi, Paola Benassi, Guido Governatori, and Antonino Rotolo (Bologna) - Shakesperian Modal Logic: A Labeled Treatment of Modal Identity

11.00-11.30

Aida Pliuskeviciene (Vilnius) - Cut-free Calculus for Modal Logics Containing the Barcan Axiom

11.45-12.15

Larisa Maksimova (Novosibirsk) - Interpolation in Superintuitionistic and Modal Predicate Logics with Equality

14.00-14.30

Renate Schmidt (Saarbrücken) - Resolution is a Decision Procedure for Many Propositional Modal Logics

14.15-15.15

Vladimir Spanopolu and Vladimir Zakharov (Moscow) - On the Relationship Between Interleaving and Causal Models of Parallel Computations

15.30-16.30

Invited lecture
Marco Hollenberg and Giovanna d'Agostino (Utrecht/Amsterdam) - Uniform Interpolation, Automata and the Modal Mu-Calculus

Evening programme

Workshop dinner

Thursday, October 10, 1996

09.00-10.00

Invited lecture
Patrick Blackburn (Saarbrücken) - Hybrid Languages

10.15-10.45

Valentin Shehtman (Moscow) - Linearized Deterministic Kripke Models

11.00-11.30

Ian Pratt and Oliver J. Lemon (Manchester) - On the Incompleteness of Modal Logics of Space

11.45-12.15

Lilia Chagrova (Tver) - On the Degree of Neighbourhood Incompleteness of Normal Modal Logics

14.00-14.30

Timothy Surendonk (Canberra) - A Note on Isomorphisms between Canonical Frames

14.45-15.15

Maarten Marx and Szabolcs Mikulas (London) - Two-Dimensional Modal Logic: Decidability and Undecidability

15.30-16.00

Hiroyuki Shirasua (Ishikawa) - Duality in Super-Intuitionistic and Modal Predicate Logics

16.15-17.15

Invited lecture
Yde Venema (Amsterdam) - Atom Structures

For more information about the Advances in Modal Logic initiative, please visit its home page.