{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T17:26:04Z","timestamp":1783963564253,"version":"3.55.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bf01061239","type":"journal-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T03:14:16Z","timestamp":1107054856000},"page":"301-317","source":"Crossref","is-referenced-by-count":118,"title":["Positive modal logic"],"prefix":"10.1007","volume":"55","author":[{"given":"J. Michael","family":"Dunn","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"A. R. Anderson, N. D. Belnap, Jr., and J. M. Dunn (1992),Entailment: The Logic of Relevance and Necessity, vol. II, Princeton (Princeton University Press)."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"514","DOI":"10.2307\/2275217","volume":"58","author":"G. Allwein","year":"1993","unstructured":"G. Allwein andJ. M. Dunn (1993), Kripke Models for Linear Logic,The Journal for Symbolic Logic,58, 514?545.","journal-title":"The Journal for Symbolic Logic"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"935","DOI":"10.2307\/2274147","volume":"49","author":"A. Avron","year":"1984","unstructured":"A. Avron (1984), On Modal Systems having Arithmetical Interpretations,The Journal of Symbolic Logic,49, 935?942.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"B. F. Chellas (1980),Modal Logic: An Introduction, Cambridge (Cambridge University Press).","DOI":"10.1017\/CBO9780511621192"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF02282493","volume":"38","author":"J. M. Dunn","year":"1976","unstructured":"J. M. Dunn (1976), Quantification and RM,Studia Logica 38, 315?322.","journal-title":"Studia Logica"},{"key":"CR6","unstructured":"J. M. Dunn (1986), Relevance Logic and Entailment,Handbook of Philosophical Logic, vol. III: Alternatives to Classical Logic, eds. D. Gabbay and F. Guenther, Dordrecht (D. Reidel Publishing Co.), 117?229."},{"key":"CR7","volume-title":"Foundations of Mathematical Logic","author":"H. B. Curry","year":"1963","unstructured":"H. B. Curry (1963),Foundations of Mathematical Logic, New York (McGraw-Hill Inc.)."},{"key":"CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M. Fitting","year":"1983","unstructured":"M. Fitting (1983),Proof Methods for Modal and Intuitionistic Logics, Dordrecht (D. Reidel Publishing Co.)."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF02015377","volume":"16","author":"D. M. Gabbay","year":"1974","unstructured":"D. M. Gabbay (1974), On 2nd Order Intuitionistic Propositional Calculus with Full Comprehension,Archiv f\u00fcr mathematische Logik und Grundlagenforschung 16, 177?186.","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"key":"CR10","volume-title":"Algebraic Logic","author":"P. R. Halmos","year":"1962","unstructured":"P. R. Halmos (1962),Algebraic Logic, New York (Chelsea Publishing Co.)."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","volume":"32","author":"E. J. Lemmon","year":"1966","unstructured":"E. J. Lemmon (1966), Algebraic Semantics for Modal Logics I, II,The Journal for symbolic Logic 32, 46?65, 191?218.","journal-title":"The Journal for symbolic Logic"},{"key":"CR12","volume-title":"The ?Lemmon Notes?: An Introduction to Modal Logic","author":"E. J. Lemmon","year":"1977","unstructured":"E. J. Lemmon andD. S. Scott (1977),The ?Lemmon Notes?: An Introduction to Modal Logic, ed. K. Segerberg, Oxford (Blackwell)."},{"key":"CR13","first-page":"1","volume-title":"Handbook of Logic in Computer Science, vol. 1 Background: Mathematics Structures","author":"M. Ryan","year":"1992","unstructured":"M. Ryan andM. Sadler (1992), Valuation Systems and Consequence Relations, inHandbook of Logic in Computer Science, vol. 1 Background: Mathematics Structures, eds. S. Abramsky, Dov M. Gabbay, and T. S. E. Maibaum, Oxford (Clarendon Press), 1?78."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF02485369","volume":"8","author":"A. I. F. Urquhart","year":"1978","unstructured":"A. I. F. Urquhart (1978), A Topological Representation Theorem for Lattices,Algebra Universalis 8, 45?58.","journal-title":"Algebra Universalis"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01061239.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01061239\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01061239","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T03:08:49Z","timestamp":1556593729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01061239"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF01061239"],"URL":"https:\/\/doi.org\/10.1007\/bf01061239","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}