{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:37Z","timestamp":1761611137942},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1986,5,1]],"date-time":"1986-05-01T00:00:00Z","timestamp":515289600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1986,5]]},"DOI":"10.1007\/bf00305491","type":"journal-article","created":{"date-parts":[[2004,10,10]],"date-time":"2004-10-10T05:18:01Z","timestamp":1097385481000},"page":"191-217","source":"Crossref","is-referenced-by-count":7,"title":["A theory of modal dialectics"],"prefix":"10.1007","volume":"15","author":[{"given":"Erik C. W.","family":"Krabbe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","DOI":"10.1515\/9783110839807","volume-title":"From Axiom to Dialogue. A Philosophical Study of Logics and Argumentation","author":"E. M. Barth","year":"1982","unstructured":"BarthE. M. and KrabbeE. C. W., From Axiom to Dialogue. A Philosophical Study of Logics and Argumentation, Walter de Gruyter, Berlin and New York, 1982."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Bull, R. A., ?Some Modal Calculi Based on IC.? In: [3], pp. 3?7.","DOI":"10.1016\/S0049-237X(08)71680-X"},{"key":"CR3","volume-title":"Formal Systems and Recursive Functions","year":"1965","unstructured":"Crossley, J. N. and Dummett, M. A. E. (eds.), Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, North-Holland, Amsterdam, 1965."},{"key":"CR4","volume-title":"Foundations of Mathematical Logic","author":"H. B. Curry","year":"1963","unstructured":"CurryH. B., Foundations of Mathematical Logic, McGraw-Hill, New York, 1963."},{"key":"CR5","volume-title":"Symbolic Logic. An Introduction","author":"F. B. Fitch","year":"1952","unstructured":"FitchF. B., Symbolic Logic. An Introduction, Ronald, New York, 1952."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1111\/j.1755-2567.1969.tb00372.x","volume":"35","author":"M. C. Fitting","year":"1969","unstructured":"FittingM. C., ?Logics with several modal operators?, Theoria 35 (1969), 259?266.","journal-title":"Theoria"},{"key":"CR7","unstructured":"Goble, L. F., ?Grades of modality?, Logique et Analyse, n.s. 13e Ann\u00e9e (1970), 323?334."},{"key":"CR8","unstructured":"Krabbe, E. C. W., Studies in Dialogical Logic, dissertation, Groningen, 1982."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF00245991","volume":"14","author":"E. C. W. Krabbe","year":"1985","unstructured":"KrabbeE. C. W., ?Noncumulative dialectical models and formal dialectics?, Journal of Philosophical Logic 14 (1985), 129?168.","journal-title":"Journal of Philosophical Logic"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. A. Kripke","year":"1963","unstructured":"KripkeS. A., ?Semantical analysis of modal logic I?, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 9 (1963), 67?96.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Kripke, S. A., ?Semantical analysis of intuitionistic logic I?. In: [3], pp. 92?130.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"CR12","volume-title":"Counterfactuals","author":"D. K. Lewis","year":"1973","unstructured":"LewisD. K., Counterfactuals, Basil Blackwell, Oxford, 1973."},{"key":"CR13","volume-title":"Normative Logic and Ethics","author":"P. Lorenzen","year":"1969","unstructured":"LorenzenP., Normative Logic and Ethics, Bibliographisches Institut, Mannheim, 1969."},{"key":"CR14","volume-title":"Konstruktive Logik, Ethik und Wissenschafts-theorie","author":"P. Lorenzen","year":"1975","unstructured":"LorenzenP. and SchwemmerO. Konstruktive Logik, Ethik und Wissenschafts-theorie, 2nd ed., Bibliographisches Institut, Mannheim, 1975 [1973].","edition":"2nd ed."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1002\/malq.19700160207","volume":"16","author":"M. K. Rennie","year":"1970","unstructured":"RennieM. K., ?Models for multiply modal systems,? Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 16 (1970), 175?186.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1305\/ndjfl\/1093890619","volume":"13","author":"N. Rescher","year":"1972","unstructured":"RescherN. and ManorR., ?Modal elaborations of propositional logics?, Notre Dame Journal of Formal Logic 13 (1972), 323?330.","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00305491.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00305491\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00305491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T09:22:40Z","timestamp":1585905760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00305491"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,5]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1986,5]]}},"alternative-id":["BF00305491"],"URL":"https:\/\/doi.org\/10.1007\/bf00305491","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,5]]}}}