Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/aiml/aiml2002.bht:"
download as .bib file
@proceedings{DBLP:conf/aiml/2002,
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
publisher = {King's College Publications},
year = {2003},
url = {http://www.aiml.net/volumes/volume4/},
isbn = {0-9543006-2-9},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BalbianiSWZ02,
author = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Editorial Preface},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
publisher = {King's College Publications},
year = {2002},
timestamp = {Wed, 17 Jan 2024 09:58:31 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BalbianiSWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Brauner02,
author = {Torben Bra{\"{u}}ner},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Functional Completenes for a Natural Deduction Formulation of Hybridized
{S5}},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {31--50},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Brauener.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Brauner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Broersen02,
author = {Jan M. Broersen},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Relativized Action Complement for Dynamic Logics},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {51--70},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Broersen.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Broersen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/ChagrovR02,
author = {Alexander V. Chagrov and
Mikhail N. Rybakov},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {How Many Variables Does One Need to Prove PSPACE-hardness of Modal
Logics},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {71--82},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Chagrov-Rybakov.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/ChagrovR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/EngelhardtMS02,
author = {Kai Engelhardt and
Ron van der Meyden and
Kaile Su},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {9--30},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Engelhardt-vanderMeyden-Su.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/EngelhardtMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/FajardoF02,
author = {Rogerio Fajardo and
Marcelo Finger},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Non-normal Modalisation},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {83--96},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Fajardo-Finger.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/FajardoF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Fitting02,
author = {Melvin Fitting},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Bisimulations and Boolean Vectors},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {97--126},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Fitting.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Fitting02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/FrenchR02,
author = {Tim French and
Mark Reynolds},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {A Sound and Complete Proof System for {QPTL}},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {127--148},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/French-Reynolds.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/FrenchR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Goldblatt02,
author = {Robert Goldblatt},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Equational Logic of Polynomial Coalgebras},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {149--184},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Goldblatt.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Goldblatt02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Heinemann02,
author = {Bernhard Heinemann},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Towards Uniform Reasoning via Structured Subset Spaces},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {185--204},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Heinemann.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Heinemann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Infante-LopezAR02,
author = {Gabriel G. Infante L{\'{o}}pez and
Carlos Areces and
Maarten de Rijke},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Controlled Model Exploration},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {205--220},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/InfanteLopez-Areces-deRijke.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Infante-LopezAR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Kracht02,
author = {Marcus Kracht},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Notes on the Space Requirements for Checking Satisfiability in Modal
Logics},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {243--264},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Kracht.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Kracht02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KuruczZ02,
author = {{\'{A}}gnes Kurucz and
Michael Zakharyaschev},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {A Note on Relativised Products of Modal Logics},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {221--242},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Kurucz-Zakharyaschev.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KuruczZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Lutz02,
author = {Carsten Lutz},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Description Logics with Concrete Domains-A Survey},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {265--296},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Lutz.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Lutz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Maksimova02,
author = {Larisa Maksimova},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Restricted Interpolation in Modal Logics},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {297--312},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Maksimova.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Maksimova02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Miyazaki02,
author = {Yutaka Miyazaki},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Binary Logics, Orthologics, and their Relations to Normal Modal Logics},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {313--334},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Miyazaki.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Miyazaki02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Ono02,
author = {Hiroakira Ono},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Completions of Algebras and Completeness of Modal and Substructural
Logics},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {335--370},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Ono.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Ono02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/SchmidtT02,
author = {Renate A. Schmidt and
Dmitry Tishkovsky},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Combining Dynamic Logic with Doxastic Modal Logics},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {371--392},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Schmidt-Tishkovsky.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/SchmidtT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Schnoebelen02,
author = {Philippe Schnoebelen},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {The Complexity of Temporal Logic Model Checking},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {393--436},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Schnoebelen.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Schnoebelen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/ShapirovskyS02,
author = {Ilya Shapirovsky and
Valentin B. Shehtman},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Chronological Future Modality in Minkowski Spacetime},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {437--460},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Shapirovsky-Shehtman.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/ShapirovskyS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Skvortsov02,
author = {Dmitrij P. Skvortsov},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {An Incompleteness Resuit for Predicate Extensions of Intermediate
Propositional Logics},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {461--474},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Skvortsov.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Skvortsov02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Tulenheimo02,
author = {Tero Tulenheimo},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {On {IF} Modal Logic and its Expressive Power},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {475--498},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Tulenheimo.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Tulenheimo02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Vakarelov02,
author = {Dimiter Vakarelov},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Modal Definability in Languages with a Finite Number of Propositional
Variables and a New Extension of the Sahlqvist's Class},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
pages = {499--518},
publisher = {King's College Publications},
year = {2002},
url = {http://www.aiml.net/volumes/volume4/Vakarelov.ps},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Vakarelov02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-18 22:40 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
