%0 Journal Article %1 journals/ndjfl/CorcoranW74 %A Corcoran, John %A Weaver, George %D 1974 %J Notre Dame J. Formal Log. %K dblp %N 3 %P 370-378 %T Logical consequence in modal logic. II. Some semantic systems for S4. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl15.html#CorcoranW74 %V 15

@article{journals/ndjfl/CorcoranW74, added-at = {2020-05-21T00:00:00.000+0200}, author = {Corcoran, John and Weaver, George}, biburl = {https://www.bibsonomy.org/bibtex/233a6b313dd584bac4f97855ff834f249/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093891400}, interhash = {22c73b8276616475c84558f9f8d36d99}, intrahash = {33a6b313dd584bac4f97855ff834f249}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 3, pages = {370-378}, timestamp = {2020-05-23T12:16:48.000+0200}, title = {Logical consequence in modal logic. II. Some semantic systems for S4.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl15.html#CorcoranW74}, volume = 15, year = 1974 }