{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:02Z","timestamp":1706650802779},"reference-count":31,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,1,1]]},"DOI":"10.1305\/ndjfl\/1040308832","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:34:11Z","timestamp":1046208851000},"source":"Crossref","is-referenced-by-count":4,"title":["Partial Up and Down Logic"],"prefix":"10.1215","volume":"36","author":[{"given":"Jan O. M.","family":"Jaspars","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Aczel, P., ``Saturated intuitionistic theories,\" pp. 1--13 in <i>Contributions to Mathematical Logic<\/i>, edited by H. Schmidt, K. Sch\u00fctte, and H. Thiele, North-Holland, Amsterdam, 1968.","DOI":"10.1016\/S0049-237X(08)70515-9"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Belnap, N., ``A useful four-valued logic,\" pp. 8--37 in <i>Modern Uses of Multiple Valued Logic<\/i>, edited by G. Epstein and M. Dunn, Reidel, Dordrecht, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"3","unstructured":"[3] van Benthem, J. F. A. K., <i>A Manual of Intensional Logic<\/i>, CSLI, Stanford, 1984."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4]\tvan Benthem, J. F. A. K., ``Logic and the flow of information,\" pp. 693--724 in <i>Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science (Uppsala, Sweden)<\/i>, edited by D. Prawitz, B. Skyrms and D. Westerstahl, 1991.","DOI":"10.1016\/S0049-237X(06)80070-4"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Blamey, S., `` Partial logic,\" pp. 1--70 in <i>Handbook of Philosophical Logic, Vol III: Alternatives to Classical Logic<\/i>, edited by D. M. Gabbay and F. Guenthner, Reidel, Dordrecht,1986.","DOI":"10.1007\/978-94-009-5203-4_1"},{"key":"7","unstructured":"[7] Fitting, M. C., <i>Intuitionistic Logic Model Theory and Forcing<\/i>, North-Holland, Amsterdam, 1969."},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Gabbay, D. M., ``Intuitionistic basis for non-monotonic logic,\" pp. 260--273 in <i>Proceedings of the 6th Conference on Automated Deduction<\/i> edited by D. W. Loveland, Springer, Heidelberg, 1982.","DOI":"10.1007\/BFb0000064"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Gurevich, Y., ``Intuitionistic logic with strong negation,\" <i>Studia Logica<\/i>, vol. 36 (1977), pp. 49--59.","DOI":"10.1007\/BF02121114"},{"key":"10","unstructured":"[10] Hughes, G. E., and M. J. Cresswell, <i>A Companion to Modal Logic<\/i>, Methuen, New York, 1984."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Jaspars, J. O. M., ``Logical omniscience and inconsistent belief,\" pp. 129--146 in <i>Diamonds and Defaults<\/i>, edited by M. de Rijke, Kluwer, Dordrecht, 1993.","DOI":"10.1007\/978-94-015-8242-1_5"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Jaspars, J. O. M., ``Normal forms in partial modal logic,\" pp. 37--50 in <i>Algebraic Methods in Logic and in Computer Science<\/i>, edited by C. Rauszer, Polish Academy of Sciences, Warszawa, 1993.","DOI":"10.4064\/-28-1-37-50"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Kripke, S. A., ``Semantical Analysis of Intuitionistic Logic I,\" pp. 92--130 in <i>Formal Systems and Recursive Functions<\/i>, edited by J. Crossley and M. Dummett, North-Holland, Amsterdam, 1965.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"15","unstructured":"[15] Langholm, T., <i>Partiality, Truth and Persistence<\/i>, CSLI, Stanford, 1988."},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Nelson, D., ``Constructible falsity,\" <i>Journal of Symbolic Logic<\/i>, vol. 14 (1949), pp. 16--26.","DOI":"10.2307\/2268973"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Reiter, R., ``A logic for default reasoning,\" <i>Artificial Intelligence<\/i>, vol. 13 (1980), pp. 81--132.","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] de Rijke, M., ``A system of dynamic modal logic,\" <i>Journal of Philosophical Logic<\/i>, forthcoming.","DOI":"10.1023\/A:1004295308014"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] Spaan, E., ``The complexity of propositional tense logics,\" pp. 287--307 in <i>Diamonds and Defaults<\/i>, edited by M. de Rijke, Kluwer Academic Publishers, Dordrecht, 1993.","DOI":"10.1007\/978-94-015-8242-1_10"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Statman, R., ``Intuitionistic propositional logic is polynomial-space complete,\" <i>Theoretical Computer Science<\/i>, vol. 9 (1979), pp. 67--72.","DOI":"10.1016\/0304-3975(79)90006-9"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Thomason, R. H., ``On the strong semantical completeness of the intuitionistic predicate logic,\" <i>Journal of Symbolic Logic<\/i>, vol. 33 (1968), pp. 1--7.","DOI":"10.2307\/2270047"},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] Thomason, R. H., ``A semantical study of constructible falsity,\" <i>Zeitschrift f\u00fcr Mathematischen Logik und Grundlagen der Mathematik<\/i>, vol. 15 (1969), pp. 247--257.","DOI":"10.1002\/malq.19690151602"},{"key":"27","unstructured":"[27] Troelstra, A. S., and D. van Dalen, <i>Constructivism in Mathematics vol. I<\/i>, North Holland, Amsterdam, 1990."},{"key":"28","unstructured":"[28] Turner, R., <i>Logics for Artificial Intelligence<\/i>, Ellis Horwood, Chicester, 1984."},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] Wagner, G., <i>Vivid Logic<\/i>, Springer, Heidelberg, 1994.","DOI":"10.1007\/3-540-57604-5"},{"key":"31","doi-asserted-by":"crossref","unstructured":"[31] Wansing, H., <i>The Logic of Information Structures<\/i>, Springer, Heidelberg, 1993.","DOI":"10.1007\/3-540-56734-8"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Fenstad, J. E., T. Langholm and E. Vespren, ``Representations and interpretations,\" pp. 31--95 in <i>Computational Linguistics and Formal Semantics<\/i>, edited by M. Rosner and R. Johnson, Cambridge University Press, Cambridge, 1992.","DOI":"10.1017\/CBO9780511611803.003"},{"key":"13","unstructured":"[13] Jaspars, J. O. M., <i>Calculi for Constructive Communication: A Study of the Dynamics of Partial States<\/i>, PhD Thesis, University of Tilburg, 1994."},{"key":"16","unstructured":"[16] Muskens, R. A., <i>Meaning and Partiality<\/i>, PhD Thesis, University of Amsterdam, 1989."},{"key":"18","unstructured":"[18] Pearce, D., ``Default logic and constructive logic,\" pp. 309--313 in <i>Proceedings of the 10th European Conference on Artificial Intelligence (ECAI92)<\/i>, edited by B. Neumann, Wiley, Chicester, 1992."},{"key":"21","unstructured":"[21] de Rijke, M., <i>Extending Modal Logic<\/i>, PhD Thesis, University of Amsterdam, 1993."},{"key":"24","unstructured":"[24] Thijsse, E. G. C., <i>Partial Logic and Knowledge Representation<\/i>, PhD Thesis, University of Tilburg, 1992."},{"key":"29","unstructured":"[29] Veltman, F., <i>Logics for Conditionals<\/i>, PhD Thesis, University of Amsterdam, 1985."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040308832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:26Z","timestamp":1706649146000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-1\/Partial-Up-and-Down-Logic\/10.1305\/ndjfl\/1040308832.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1,1]]},"references-count":31,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1995,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040308832","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,1,1]]}}}