%0 Conference Paper %1 conf/tableaux/Nguyen02 %A Nguyen, Linh Anh %B TABLEAUX %D 2002 %E Egly, Uwe %E Fermüller, Christian G. %I Springer %K dblp %P 206-220 %T Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2002.html#Nguyen02 %V 2381 %@ 3-540-43929-3

@inproceedings{conf/tableaux/Nguyen02, added-at = {2017-05-26T00:00:00.000+0200}, author = {Nguyen, Linh Anh}, biburl = {https://www.bibsonomy.org/bibtex/22a2b7fa7f5727c0b95ada6f4496c2f83/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2002}, editor = {Egly, Uwe and Fermüller, Christian G.}, ee = {https://doi.org/10.1007/3-540-45616-3_15}, interhash = {8f82a278284b75a35b0010b646379d5b}, intrahash = {2a2b7fa7f5727c0b95ada6f4496c2f83}, isbn = {3-540-43929-3}, keywords = {dblp}, pages = {206-220}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:49:47.000+0200}, title = {Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2002.html#Nguyen02}, volume = 2381, year = 2002 }