% File generated by bibML2BibTeX

% Character encoding is utf-8 (save and edit)

% Exmo bibliography bibliography (2017-06-06)

@inproceedings{brunet2002a,
	AUTHOR = "Brunet, Olivier",
	TITLE = "A modal logic for observation-based knowledge representation",
	BOOKTITLE = "Proc. FLoC workshop  on Intuitionistic modal logic and applications (IMLA 2002), Copenhagen (DK)",
	YEAR = "2002",
	PAGES = "69-81",
	EDITOR = "Goré, Rajeev and Mendler, Michael and de Paiva, Valeria",
	URL = "https://exmo.inria.fr/files/publications/brunet2002a.pdf",
	LANGUAGE = "en",
	x-id-hal = {hal-00922305},
	x-creator = "BibML2BibTeX"}