default search action
Search dblp for Publications
export results for "toc:db/conf/aiml/aiml2006.bht:"
@inproceedings{DBLP:conf/aiml/AlechinaS06, author = {Natasha Alechina and Dmitry Shkatov}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Logics with an existential modality}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {31--48}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Alechina-Shkatov.ps}, timestamp = {Wed, 17 Jan 2024 09:57:50 +0100}, biburl = {https://dblp.org/rec/conf/aiml/AlechinaS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Balbiani06, author = {Philippe Balbiani}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {An expressive two-sorted spatial logic for plane projective geometry}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {49--68}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Balbiani.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Balbiani06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/BalbianiSS06, author = {Philippe Balbiani and Ilya Shapirovsky and Valentin B. Shehtman}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Every world can see a Sahlqvist world}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {69--85}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Balbiani-Shapirovsky-Shehtman.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/BalbianiSS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/BenthemP06, author = {Johan van Benthem and Eric Pacuit}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {The Tree of Knowledge in Action: Towards a Common Perspective}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {87--106}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/vanBenthem-Pacuit.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/BenthemP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Brunnler06, author = {Kai Br{\"{u}}nnler}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Deep Sequent Systems for Modal Logic}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {107}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Bruennler.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Brunnler06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/ChagrovC06, author = {Alexander V. Chagrov and Lilia Chagrova}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {The Truth About Algorithmic Problems in Correspondence Theory}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {121--138}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Chagrov-Chagrova.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/ChagrovC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Fontaine06, author = {Ga{\"{e}}lle Fontaine}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {{ML} is not finitely axiomatizable over Cheq}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {139--146}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Fontaine.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Fontaine06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/French06, author = {Tim French}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Bisimulation Quantified Modal Logics: Decidability}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {147--166}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/French.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/French06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/GasquetHS06, author = {Olivier Gasquet and Andreas Herzig and Mohamad Sahade}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Terminating modal tableaux with simple completeness proof}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {167--186}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Gasquet-Herzig-Sahade.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/GasquetHS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/GhilardiLWZ06, author = {Silvio Ghilardi and Carsten Lutz and Frank Wolter and Michael Zakharyaschev}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Conservative extensions in modal logic}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {187--207}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Ghilardi-Lutz-Wolter-Zakharyaschev.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/GhilardiLWZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Goldblatt06, author = {Robert Goldblatt}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {A Kripke-Joyal Semantics for Noncommutative Logic in Quantales}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {209--225}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Goldblatt.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Goldblatt06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/GoldblattM06, author = {Robert Goldblatt and Edwin D. Mares}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {A General Semantics for Quantified Modal Logic}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {227--246}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Goldblatt-Mares.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/GoldblattM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Gorbunov06, author = {Igor Gorbunov}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {A decidable modal logic that is finitely undecidable}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {247--258}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Gorbunov.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Gorbunov06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Heinemann06, author = {Bernhard Heinemann}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Regarding Overlaps in 'Topologic'}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {259--277}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Heinemann.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Heinemann06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Humberstone06, author = {Lloyd Humberstone}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Weaker-to-Stronger Translational Embeddings in Modal Logic}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {279--297}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Humberstone.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Humberstone06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/KonevKWZ06, author = {Boris Konev and Roman Kontchakov and Frank Wolter and Michael Zakharyaschev}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Dynamic topological logics over spaces with continuous functions}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {299--318}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Konev-Kontchakov-Wolter-Zakharyaschev.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/KonevKWZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Kudinov06, author = {Andrey Kudinov}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Topological Modal Logics with Difference Modality}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {319--332}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Kudinov.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Kudinov06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Litak06, author = {Tadeusz Litak}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Isomorphism via translation}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {333--351}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Litak.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Litak06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Martin06, author = {Eric Martin}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Quantification over names and modalities}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {353--372}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Martin.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Martin06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Nguyen06, author = {Linh Anh Nguyen}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {On the Deterministic Horn Fragment of Test-free {PDL}}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {373--392}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Nguyen.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Nguyen06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Rybakov06, author = {Mikhail N. Rybakov}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {393--411}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Rybakov.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Rybakov06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Schmidt06, author = {Renate A. Schmidt}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Developing Modal Tableaux and Resolution Methods via First-Order Resolution}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {1--26}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Schmidt.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Schmidt06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Shapirovsky06, author = {Ilya Shapirovsky}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Downward-directed transitive frames with universal relations}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {413--428}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Shapirovsky.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Shapirovsky06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Shehtman06, author = {Valentin B. Shehtman}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Completeness and incompleteness in first-order modal logic: an overview}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {27--30}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Shehtman.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Shehtman06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/SheremetTWZ06, author = {Mikhail Sheremet and Dmitry Tishkovsky and Frank Wolter and Michael Zakharyaschev}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {From topology to metric: modal logic and quantification in metric spaces}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {429--448}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Sheremet-Tishkovsky-Wolter-Zakharyaschev.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/SheremetTWZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Silvestre06, author = {Ricardo Sousa Silvestre}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Modality, Paraconsistency and Paracompleteness}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {449--467}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/SousaSilvestre.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Silvestre06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Takamura06, author = {Hiroki Takamura}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {The variety of modal FL\({}_{\mbox{ew}}\)-algebras is generated by its finite simple members}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {469--479}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Takamura.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Takamura06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/TulenheimoS06, author = {Tero Tulenheimo and Merlijn Sevenster}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {On Modal Logic, {IF} Logic, and {IF} Modal Logic}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {481--501}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Tulenheimo-Sevenster.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/TulenheimoS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Wansing06, author = {Heinrich Wansing}, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Tableaux for multi-agent deliberative-stit logic}, booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, pages = {503--520}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/Wansing.ps}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Wansing06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aiml/2006, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/}, isbn = {1-904987-20-6}, timestamp = {Wed, 17 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/2006.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.