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/aiml2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/aiml/BilkovaPV08,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Alessandra Palmigiano and
Yde Venema},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Proof systems for the coalgebraic cover modality},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {1--21},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Bilkova-Palmigiano-Venema.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:43 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BilkovaPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/FrenchD08,
author = {Tim French and
Hans P. van Ditmarsch},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Undecidability for arbitrary public announcement logic},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {23--42},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/French-vanDitmarsch.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/FrenchD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GorePT08,
author = {Rajeev Gor{\'{e}} and
Linda Postniece and
Alwen Tiu},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Cut-elimination and proof-search for bi-intuitionistic logic using
nested sequents},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {43--66},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Gore-Postniece-Tiu.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GorePT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GoreR08,
author = {Rajeev Gor{\'{e}} and
Revantha Ramanayake},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Valentini's cut-elimination for provability logic resolved},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {67--86},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Gore-Ramanayake.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GoreR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Governatori08,
author = {Guido Governatori},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Labelled modal tableaux},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {87--110},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Governatori.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Governatori08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/HansenBB08,
author = {Jens Hansen and
Thomas Bolander and
Torben Bra{\"{u}}ner},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Many-valued hybrid logic},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {111--132},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Hansen-Bolander-Brauener.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/HansenBB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/HerzigS08,
author = {Andreas Herzig and
Fran{\c{c}}ois Schwarzentruber},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Properties of logics of individual and group agency},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {133--149},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Herzig-Schwarzentruber.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/HerzigS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KontchakovPWZ08,
author = {Roman Kontchakov and
Ian Pratt{-}Hartmann and
Frank Wolter and
Michael Zakharyaschev},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Topology, connectedness, and modal logic},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {151--176},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Kontchakov-PrattHartmann-Wolter-Zakharyaschev.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KontchakovPWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Konur08,
author = {Savas Konur},
editor = {Carlos Areces and
Robert Goldblatt},
title = {An interval logic for natural language semantics},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {177--191},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Konur.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Konur08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KupkeKV08,
author = {Clemens Kupke and
Alexander Kurz and
Yde Venema},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Completeness of the finitary Moss logic},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {193--217},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Kupke-Kurz-Venema.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KupkeKV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Kurucz08,
author = {Agi Kurucz},
editor = {Carlos Areces and
Robert Goldblatt},
title = {On axiomatising products of Kripke frames, part {II}},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {219--230},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Kurucz.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Kurucz08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Kuusisto08,
author = {Antti Kuusisto},
editor = {Carlos Areces and
Robert Goldblatt},
title = {A modal perspective on monadic second-order alternation hierarchies},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {231--247},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Kuusisto.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Kuusisto08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/NenovV08,
author = {Yavor Nenov and
Dimiter Vakarelov},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Modal logics for mereotopological relations},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {249--272},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Nenov-Vakarelov.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/NenovV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/OttoP08,
author = {Martin Otto and
Robert Piro},
editor = {Carlos Areces and
Robert Goldblatt},
title = {A Lindstr{\"{o}}m characterisation of the guarded fragment and
of modal logic with a global modality},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {273--287},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Otto-Piro.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/OttoP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Shapirovsky08,
author = {Ilya Shapirovsky},
editor = {Carlos Areces and
Robert Goldblatt},
title = {PSPACE-decidability of Japaridze's polymodal logic},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {289--304},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Shapirovsky.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Shapirovsky08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Shatrov08,
author = {Timofei Shatrov},
editor = {Carlos Areces and
Robert Goldblatt},
title = {On the intermediate logic of open subsets of metric spaces},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {305--313},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Shatrov.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Shatrov08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Sofronie-Stokkermans08,
author = {Viorica Sofronie{-}Stokkermans},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Locality and subsumption testing in {EL} and some of its extensions},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {315--339},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Sofronie-Stokkermans.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Sofronie-Stokkermans08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/TanabeTH08,
author = {Yoshinori Tanabe and
Koichi Takahashi and
Masami Hagiya},
editor = {Carlos Areces and
Robert Goldblatt},
title = {A decision procedure for alternation-free modal {\(\mathrm{\mu}\)}-calculi},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {341--362},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Tanabe-Takahashi-Hagiya.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/TanabeTH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Tulenheimo08,
author = {Tero Tulenheimo},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Modal logic of time division},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {363--387},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Tulenheimo.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Tulenheimo08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Uckelman08,
author = {Sara L. Uckelman},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Three 13th-century views of quantified modal logic},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {389--406},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Uckelman.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Uckelman08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiml/2008,
editor = {Carlos Areces and
Robert Goldblatt},
title = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/},
isbn = {978-1-904987-68-0},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/2008.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-05-11 13:46 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:
