%0 Journal Article %1 journals/ndjfl/PearceW88 %A Pearce, David %A Wansing, Heinrich %D 1988 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 482-496 %T On the methodology of possible worlds semantics. I. Correspondence theory. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl29.html#PearceW88 %V 29

@article{journals/ndjfl/PearceW88, added-at = {2022-12-07T00:00:00.000+0100}, author = {Pearce, David and Wansing, Heinrich}, biburl = {https://www.bibsonomy.org/bibtex/2de22021a82f665b210c58f93e9bd2f1c/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093638013}, interhash = {f11f9ecf861f03869a03646afde371a4}, intrahash = {de22021a82f665b210c58f93e9bd2f1c}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {482-496}, timestamp = {2024-04-08T18:22:02.000+0200}, title = {On the methodology of possible worlds semantics. I. Correspondence theory.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl29.html#PearceW88}, volume = 29, year = 1988 }