Logic List Mailing Archive
Call for Participation: AiML-2006, Noosa (Australia), Sep 2006
=========================
=========================
======================
CALL FOR PARTICIPATION
AiML-2006
Advances in Modal Logic
25-28 September 2006, Noosa (Queensland, Australia)
http://www.itee.uq.edu.au/~aiml06
EARLY REGISTRATION: 28 August 2006
Advances in Modal Logic is an initiative aimed at presenting
an up-to-date picture of the state of the art in modal logic
and its many applications. The initiative consists of a
conference series together with volumes based on the conferences.
AiML-2006 is the sixth conference in the series.
INVITED SPEAKERS
- Renate Schmidt (Manchester, UK)
Developing Modal Tableaux and Resolution Methods via
First-Order Resolution
- Valentin Shehtman (Moscow, Russia)
Completeness and Incompleteness in First-Order Modal Logic:
An Overview
- Igor Walukiewicz (Bordeaux, France)
Fixpoint hierarchies
- Alberto Zanardo (Padua, Italy)
Choices and Indistinguishable Histories in Branching-Time Logics
ACCEPTED PAPERS
1. Natasha Alechina and Dmitry Shkatov.
Logics with an existential modality
2. Philippe Balbiani, Valentin Shehtman and Ilya Shapirovsky.
On some modal logics related to McKinsey axiom
3. Philippe Balbiani.
An expressive two-sorted spatial logic for plane projective geometry
4. Johan van Benthem and Eric Pacuit.
The Tree of Knowledge in Action: Towards a Common Perspective
5. Kai Br?nnler.
Deep Sequent Systems for Modal Logic
6. Alexander and Lydia Chagrov.
Truth About Algorithmic Problems in Correspondence Theory
7. Gaelle Fontaine.
ML is not finitely axiomatizable over Cheq
8. Tim French.
Bisimulation quantified logics: decidability
9. Silvio Ghilardi, Carsten Lutz, Frank Wolter and Michael Zakharyaschev.
Conservative Extensions in Modal Logic
10. Robert Goldblatt and Edwin Mares.
A General Semantics for Quantified Modal Logic
11. Robert Goldblatt. A
Kripke-Joyal Semantics for Noncommutative Logic in Quantales
12. Igor Gorbunov.
A decidable modal logic that is finitely undecidable
13. Bernhard Heinemann.
Regarding Overlaps in `Topologic'
14. Lloyd Humberstone.
Weaker-to-Stronger Translational Embeddings in Modal Logic
15. Boris Konev, Roman Kontchakov, Frank Wolter and Michael Zakharyaschev.
Dynamic topological logics over spaces with continuous functions
16. Andrey Kudinov.
Topological Modal Logics with Difference Modality.
17. Tadeusz Litak.
On The Gargov-Goranko Translation
18. Eric Martin.
Quantification over names and modalities
19. Linh Anh Nguyen.
On the Deterministic Horn Fragment of Test-free PDL
20. Gasquet Olivier, Andreas Herzig and Mohamad Saade.
Terminating modal tableaux with simple completeness proof
21. Mikhail Rybakov.
Complexity of intuitionistic and Visser's basic logic in finitely
many variables
22. Ilya Shapirovsky.
Universal modality and Common Past axiom
23. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter and Michael
Zakharyaschev.
From topology to metric: modal logic and quantification in metric spac
es
24. Ricardo Silvestre.
Modality, Paraconsistency and Paracompleteness
25. Hiroki Takamura.
The variety of modal ${\bf FL}_{ew}$-algebras is generated
by its finite simple members
26. Tero Tulenheimo and Merlijn Sevenster.
On Modal Logic, IF Logic and IF Modal Logic
27. Heinrich Wansing.
Tableaux for multi-agent deliberative-stit logic
PROGRAMME COMMITTEE
Alessandro Artale (Free University of Bolzano, Italy)
Alexandru Baltag (University of Oxford, UK)
Guram Bezhanishvili (New Mexico State University, USA)
Julian Bradfield (University of Edinburgh, UK)
Melvin Fitting (City University of New York, USA)
Guido Governatori (University of Queensland, Australia)
Silvio Ghilardi (University of Milano, Italy)
Rob Goldblatt (Victoria University Wellington, New Zealand)
Valentin Goranko (University of the Witwatersrand, South Africa)
Rajeev Gore (Australian National University, Australia)
Ramon Jansana (University of Barcelona, Spain)
Alexander Kurz (University of Leicester, UK)
Carsten Lutz (Dresden University of Technology, Germany)
Maarten Marx (University of Amsterdam, Netherlands)
Martin Otto (Technical University of Darmstadt, Germany)
Graham Priest (University of Melbourne, Australia)
Mark Reynolds (University of Western Australia, Australia)
Ildiko Sain (Hungarian Academy of Sciences, Hungary)
Renate Schmidt (University of Manchester, UK)
Jerry Seligman (University of Auckland, New Zealand)
Nobu-Yuki Suzuki (Shizuoka University, Japan)
Heinrich Wansing (Dresden University of Technology, Germany)
Frank Wolter (University of Liverpool, UK)
Michael Zakharyaschev (Birkbeck College, London, UK)
PROGRAMME CO-CHAIRS
Ian Hodkinson
Imperial College London
imh(at)doc.ic.ac.uk
Yde Venema
University of Amsterdam
yde(at)science.uva.nl
LOCAL ORGANIZERS
Guido Governatori
School of Information Technology and Electrical Engineering
The University of Queensland
guido@itee.uq.edu.au
CONFERENCE LOCATION
Advances in Modal Logic 2006 will be held at Australis Noosa Lakes
Conference Centre located at Noosaville, Noosa, Sunshine Coast,
Queensland.
Noosa and Noosa National Park are legendary in Australia. The
protected cove beach virtually guarantees perfect surf year round and
the stroll around the headland through the National Park rewards you
with spectacular seascapes. Hastings Street, the hub of Noosa, is a
mecca for designer label shoppers and discerning diners.
For more details, see http://www.tourismnoosa.com.au/
CO-LOCATED EVENT
AiML 2006 will be colocated with The Annual Meeting of the
Australasian Association for Logic, to be held on 23-24 September
2006.
FURTHER INFORMATION
Information about AiML-2006 can be obtained at
http://www.itee.uq.edu.au/~aiml06/
E-mail enquiries about AiML-2006 should be directed to the local
organizer.
Information about AiML can be obtained at
http://www.aiml.net