% File generated by bibML2BibTeX

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

%  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"}