%0 Journal Article %1 journals/jphil/Belnap014 %A Belnap, Nuel %A Müller, Thomas %D 2014 %J J. Philosophical Logic %K dblp %N 5 %P 835-866 %T BH-CIFOL: Case-Intensional First Order Logic. %U http://dblp.uni-trier.de/db/journals/jphil/jphil43.html#Belnap014 %V 43

@article{journals/jphil/Belnap014, added-at = {2020-02-04T00:00:00.000+0100}, author = {Belnap, Nuel and Müller, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2fc7f51d777d73e43df04da6d45e835a0/dblp}, ee = {https://www.wikidata.org/entity/Q39285285}, interhash = {b5101a1365cc91208bf23fd8091ae2a4}, intrahash = {fc7f51d777d73e43df04da6d45e835a0}, journal = {J. Philosophical Logic}, keywords = {dblp}, number = 5, pages = {835-866}, timestamp = {2020-02-05T11:41:48.000+0100}, title = {BH-CIFOL: Case-Intensional First Order Logic.}, url = {http://dblp.uni-trier.de/db/journals/jphil/jphil43.html#Belnap014}, volume = 43, year = 2014 }