%0 Conference Paper %1 conf/tableaux/KaneiwaM05 %A Kaneiwa, Ken %A Mizoguchi, Riichiro %B TABLEAUX %D 2005 %E Beckert, Bernhard %I Springer %K dblp %P 169-184 %T An Order-Sorted Quantified Modal Logic for Meta-ontology. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2005.html#KaneiwaM05 %V 3702 %@ 3-540-28931-3

@inproceedings{conf/tableaux/KaneiwaM05, added-at = {2017-05-26T00:00:00.000+0200}, author = {Kaneiwa, Ken and Mizoguchi, Riichiro}, biburl = {https://www.bibsonomy.org/bibtex/26ea3102cb9e3151e8870734da3d97350/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2005}, editor = {Beckert, Bernhard}, ee = {https://doi.org/10.1007/11554554_14}, interhash = {b845252c5e3599f4f648055249525483}, intrahash = {6ea3102cb9e3151e8870734da3d97350}, isbn = {3-540-28931-3}, keywords = {dblp}, pages = {169-184}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:49:47.000+0200}, title = {An Order-Sorted Quantified Modal Logic for Meta-ontology.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2005.html#KaneiwaM05}, volume = 3702, year = 2005 }