Methods for Modalities 1
Institute for Logic, Language and Computation, University of Amsterdam, May 6-7, 1999
Thursday, November 29
09:00-09:30, Registration

09:30-10:45, Invited Talk
Chair: Carlos Areces and Maarten de Rijke

Wolfgang Thomas, Model-Checking of Infinite State Systems

10:45-11:00, Coffee Break

11:00-12:30, Session 1
Chair: Enrico Franconi

11:00 A Tableau System for Quantified Hybrid Logic
Patrick Blackburn and Maarten Marx
12:00 Web Ontology Reasoning in SHOQ(D_n) Description Logic
Jeff Z. Pan
12:30 Natural Deduction for Hybrid Logic
Torben Brauner

12:30-13:30, Lunch

13:30-14:30, Applications and Experimental Descriptions
Chair: Carlos Areces

13:30 Playing with Description Logic
Malte Gabsdil, Alexander Koller, Kristina Striegnitz
13:45 A Short Introduction to Grail
Richard Moot
14:00 Translating PLTL into WS1S
Benjamin Hirsch and Ullrich Hustadt
14:15 Structured Problems for Modal Satisfiability Testing
Juan Heguiabehere, Gabriel Infante Lopez and Maarten de Rijke

14:30-15:00, Coffee Break

15:00-17:00, Applications and System Demos
Location: Building B, Nieuwe Achtergracht 166, 2nd floor


  • Patrick Blackburn, Aljoscha Burchardt and Stephan Walter, Hydra
  • Carlos Areces and Juan Heguiabehere, HyLoRes
  • Volker Haarslev and Ralf Moller, RACER
  • Virginie Thion, TabFVProver

17:00-17:15, Coffee Break

17:15-18:30, Invited Talk
Chair: Holger Schlingloff

Joe Halpern, Causes and Explanations: A Structural-Model Approach

19:30-..., Workshop Dinner

Friday, November 30
09:00-10:15, Invited Talk
Chair: Patrick Blackburn

Marta Cialdea Mayer, Quantified Modal Logics and Tableau Methods

10:15-10:30, Coffee Break

10:30-12:00, Session 2
Chair: Marta Cialdea Mayer

10:30 Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic
Valeria de Paiva, Gianluigi Bellin and Eike Ritter
11:00 Explorations in Extensions of Intuitionistic Propositional Logic
Lex Hendriks
11:30 A Unifying Completeness Theorem in Quantified Modal Logic
Giovanna Corsi

12:00-13:00, Lunch

13:00-14:15, Invited Talk
Chair: Wolfgang Thomas

Ed Brinksma, Verification in Practice

14:15-14:30, Coffee Break

14:30-16:30, Session 3
Chair: Ed Brinksma

14:30 A Combined Approach to Temporal Logics for Time Granularity
Massimo Franceschet and Angelo Montanari
15:00 Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
Volker Haarslev, Martina Timmann and Ralf Moeller
15:30 A Decidable Dynamic Logic for Agents with Motivational Attitudes
Renate Schmidt and Dmitry Tishkovsky
16:00 Modal Tableaux for Reasoning about Atomic Updates
Chris Fermueller and G. Moser

16:30-16:45, Coffee Break

16:45-18:00, Invited Talk
Chair: Ian Horrocks

Enrico Franconi, (Description) Logics for Information Modelling and Access

Methods for Modalities
Contact address