Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. A Modal Logic for Network Topologies. In Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira, editors, Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. Volume 1919 of Lecture Notes in Computer Science, pages 269-283, Springer, 2000. [doi]
@inproceedings{EijkBHM00:1,
title = {A Modal Logic for Network Topologies},
author = {Rogier M. van Eijk and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1919/19190269.htm},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/EijkBHM00%3A1},
cites = {0},
citedby = {0},
pages = {269-283},
booktitle = {Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings},
editor = {Manuel Ojeda-Aciego and Inman P. de Guzmán and Gerhard Brewka and Luís Moniz Pereira},
volume = {1919},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-41131-3},
}