%0 Conference Paper %1 conf/lanmr/BarcenasLMV18 %A Bárcenas, Everardo %A de Jesús Lavalle-Martínez, José %A Molero-Castillo, Guillermo %A Velázquez-Mena, Alejandro %B LANMR %D 2018 %E Galindo, Mauricio Javier Osorio %E Marcial-Romero, José Raymundo %E Cortés, Claudia Zepeda %E Parra, Pilar Pozos %I CEUR-WS.org %K dblp %P 15-24 %T Craig interpolation on the logic of knowledge. %U http://dblp.uni-trier.de/db/conf/lanmr/lanmr2018.html#BarcenasLMV18 %V 2264

@inproceedings{conf/lanmr/BarcenasLMV18, added-at = {2023-03-10T00:00:00.000+0100}, author = {Bárcenas, Everardo and de Jesús Lavalle-Martínez, José and Molero-Castillo, Guillermo and Velázquez-Mena, Alejandro}, biburl = {https://www.bibsonomy.org/bibtex/27ec2fda6880890d319a6dc19525b7b20/dblp}, booktitle = {LANMR}, crossref = {conf/lanmr/2018}, editor = {Galindo, Mauricio Javier Osorio and Marcial-Romero, José Raymundo and Cortés, Claudia Zepeda and Parra, Pilar Pozos}, ee = {https://ceur-ws.org/Vol-2264/paper2.pdf}, interhash = {f6a9681503c961009578d02fdcb7e1b5}, intrahash = {7ec2fda6880890d319a6dc19525b7b20}, keywords = {dblp}, pages = {15-24}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:49:01.000+0200}, title = {Craig interpolation on the logic of knowledge.}, url = {http://dblp.uni-trier.de/db/conf/lanmr/lanmr2018.html#BarcenasLMV18}, volume = 2264, year = 2018 }