default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/aiml/aiml1996.bht:"
download as .bib file
@proceedings{DBLP:conf/aiml/1996,
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
publisher = {{CSLI} Publications},
year = {1998},
url = {http://www.aiml.net/volumes/volume1/},
isbn = {1-57586-102-X},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/ArtosiBGR96,
author = {Alberto Artosi and
Paola Benassi and
Guido Governatori and
Antonino Rotolo},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Shakespearian Modal Logic: {A} Labelled Treatment of Modal Identity},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {1--21},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},
biburl = {https://dblp.org/rec/conf/aiml/ArtosiBGR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Balbiani96,
author = {Philippe Balbiani},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Terminological Modal Logic},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {23--39},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Balbiani96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BlackburnS96,
author = {Patrick Blackburn and
Jerry Seligman},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {What Are Hybrid Languages?},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {41--62},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/BlackburnS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Chagrova96,
author = {Lilia Chagrova},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {On the Degree of Neighborhood Incompleteness of Normal Modal Logics},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {63--72},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Chagrova96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/DAgostinoH96,
author = {Giovanna D'Agostino and
Marco Hollenberg},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Uniform Interpolation, Automata and the Modal {\(\mu\)}-Calculus},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {73--84},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/DAgostinoH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Grefe96,
author = {Carsten Grefe},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Fischer Servi's Intuitionistic Modal Logic has the Finite Model Property},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {85--98},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Grefe96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Heinemann96,
author = {Bernhard Heinemann},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Topological Nexttime Logic},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {99--112},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Heinemann96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Lemon096,
author = {Oliver Lemon and
Ian Pratt},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {On the Incompleteness of Modal Logics of Space: Advancing Complete
Modal Logics of Place},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {115--132},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Lemon096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Maksimova96,
author = {Larisa Maksimova},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Interpolation in Superintuitionistic and Modal Predicate Logics with
Equality},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {133--140},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Maksimova96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Marx96,
author = {Maarten Marx},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Mosaics and Cylindric Modal Logic of Dimension{\textasciitilde}2},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {141--156},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Marx96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Pliuskeviciene96,
author = {Aida Pliuskeviciene},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {157--172},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Pliuskeviciene96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Rosati96,
author = {Riccardo Rosati},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Minimal Knowledge States in Nonmonotonic Modal Logics},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {173--187},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Rosati96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Schmidt96,
author = {Renate A. Schmidt},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Resolution is a Decision Procedure for Many Propositional Modal Logics},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {189--208},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Schmidt96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Shehtman96,
author = {Valentin B. Shehtman},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {On Strong Neighbourhood Completeness of Modal and Intermediate Propositional
Logics (Part{\textasciitilde}I)},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {209--222},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Shehtman96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Shirasu96,
author = {Hiroyuki Shirasu},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Duality in Superintuitionistic and Modal Predicate Logics},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {223--236},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Shirasu96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/SpanopuloZ96,
author = {Vladimir V. Spanopulo and
Vladimir A. Zakharov},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {On the Relationship between Models of Parallel Computations},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {237--248},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/SpanopuloZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Surendonk96,
author = {Timothy J. Surendonk},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {On Isomorphisms between Canonical Frames},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {249--268},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Surendonk96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Vakarelov96,
author = {Dimiter Vakarelov},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Hyper Arrow Structures. Arrow Logics{\textasciitilde}III},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {269--290},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Vakarelov96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Venema96,
author = {Yde Venema},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Atom Structures},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {291--305},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Venema96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Visser96,
author = {Albert Visser},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {An Overview of Interpretability Logic},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {307--359},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Visser96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Wolter96,
author = {Frank Wolter},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Fusions of Modal Logics Revisited},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {361--379},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiml/Wolter96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-09-18 19:26 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:
