×

Partial up an down logic. (English) Zbl 0837.03026

Summary: This paper presents logics for reasoning about extension and reduction of partial information states. This enterprise amounts to nonpersistent variations of certain constructive logics, in particular the so-called logic of constructible falsity of Nelson. We provide simple semantics, sequential calculi, completeness and decidability proofs.

MSC:

03B60 Other nonclassical logic
68T27 Logic in artificial intelligence
68T30 Knowledge representation
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aczel, P., “Saturated intuitionistic theories,” pp. 1–13 in Contributions to Mathematical Logic , edited by H. Schmidt, K. Schütte, and H. Thiele, North-Holland, Amsterdam, 1968. · Zbl 0198.32205
[2] Belnap, N., “A useful four-valued logic,” pp. 8–37 in Modern Uses of Multiple Valued Logic , edited by G. Epstein and M. Dunn, Reidel, Dordrecht, 1977. · Zbl 0424.03012
[3] van Benthem, J. F. A. K., A Manual of Intensional Logic , CSLI, Stanford, 1984.
[4] van Benthem, J. F. A. K., “Logic and the flow of information,” pp. 693–724 in Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science (Uppsala, Sweden) , edited by D. Prawitz, B. Skyrms and D. Westerstahl, 1991. · Zbl 0831.03011 · doi:10.1016/S0049-237X(06)80070-4
[5] Blamey, S., “ Partial logic,” pp. 1–70 in Handbook of Philosophical Logic, Vol III: Alternatives to Classical Logic , edited by D. M. Gabbay and F. Guenthner, Reidel, Dordrecht,1986. · Zbl 0875.03023
[6] Fenstad, J. E., T. Langholm and E. Vespren, “Representations and interpretations,” pp. 31–95 in Computational Linguistics and Formal Semantics , edited by M. Rosner and R. Johnson, Cambridge University Press, Cambridge, 1992.
[7] Fitting, M. C., Intuitionistic Logic Model Theory and Forcing , North-Holland, Amsterdam, 1969. · Zbl 0188.32003
[8] Gabbay, D. M., “Intuitionistic basis for non-monotonic logic,” pp. 260–273 in Proceedings of the 6th Conference on Automated Deduction edited by D. W. Loveland, Springer, Heidelberg, 1982. · Zbl 0481.68091 · doi:10.1007/BFb0000064
[9] Gurevich, Y., “Intuitionistic logic with strong negation,” Studia Logica , vol. 36 (1977), pp. 49–59. · Zbl 0366.02015 · doi:10.1007/BF02121114
[10] Hughes, G. E., and M. J. Cresswell, A Companion to Modal Logic , Methuen, New York, 1984. · Zbl 0625.03005
[11] Jaspars, J. O. M., “Logical omniscience and inconsistent belief,” pp. 129–146 in Diamonds and Defaults , edited by M. de Rijke, Kluwer, Dordrecht, 1993. · Zbl 0821.03015
[12] Jaspars, J. O. M., “Normal forms in partial modal logic,” pp. 37–50 in Algebraic Methods in Logic and in Computer Science , edited by C. Rauszer, Polish Academy of Sciences, Warszawa, 1993. · Zbl 0794.03027
[13] Jaspars, J. O. M., Calculi for Constructive Communication: A Study of the Dynamics of Partial States , PhD Thesis, University of Tilburg, 1994.
[14] Kripke, S. A., “Semantical Analysis of Intuitionistic Logic I,” pp. 92–130 in Formal Systems and Recursive Functions , edited by J. Crossley and M. Dummett, North-Holland, Amsterdam, 1965. · Zbl 0137.00702
[15] Langholm, T., Partiality, Truth and Persistence , CSLI, Stanford, 1988. · Zbl 0665.03024
[16] Muskens, R. A., Meaning and Partiality , PhD Thesis, University of Amsterdam, 1989.
[17] Nelson, D., “Constructible falsity,” Journal of Symbolic Logic , vol. 14 (1949), pp. 16–26. JSTOR: · Zbl 0033.24304 · doi:10.2307/2268973
[18] Pearce, D., “Default logic and constructive logic,” pp. 309–313 in Proceedings of the 10th European Conference on Artificial Intelligence (ECAI92) , edited by B. Neumann, Wiley, Chicester, 1992.
[19] Reiter, R., “A logic for default reasoning,” Artificial Intelligence , vol. 13 (1980), pp. 81–132. · Zbl 0435.68069 · doi:10.1016/0004-3702(80)90014-4
[20] de Rijke, M., “A system of dynamic modal logic,” Journal of Philosophical Logic , forthcoming. · Zbl 0910.03016 · doi:10.1023/A:1004295308014
[21] de Rijke, M., Extending Modal Logic , PhD Thesis, University of Amsterdam, 1993. · Zbl 0797.03014
[22] Spaan, E., “The complexity of propositional tense logics,” pp. 287–307 in Diamonds and Defaults , edited by M. de Rijke, Kluwer Academic Publishers, Dordrecht, 1993. · Zbl 0831.03005
[23] Statman, R., “Intuitionistic propositional logic is polynomial-space complete,” Theoretical Computer Science , vol. 9 (1979), pp. 67–72. · Zbl 0411.03049 · doi:10.1016/0304-3975(79)90006-9
[24] Thijsse, E. G. C., Partial Logic and Knowledge Representation , PhD Thesis, University of Tilburg, 1992. · Zbl 0759.68084
[25] Thomason, R. H., “On the strong semantical completeness of the intuitionistic predicate logic,” Journal of Symbolic Logic , vol. 33 (1968), pp. 1–7. JSTOR: · Zbl 0155.01402 · doi:10.2307/2270047
[26] Thomason, R. H., “A semantical study of constructible falsity,” Zeitschrift für Mathematischen Logik und Grundlagen der Mathematik , vol. 15 (1969), pp. 247–257. · Zbl 0181.00901 · doi:10.1002/malq.19690151602
[27] Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics vol. I , North Holland, Amsterdam, 1990. · Zbl 0653.03040
[28] Turner, R., Logics for Artificial Intelligence , Ellis Horwood, Chicester, 1984.
[29] Veltman, F., Logics for Conditionals , PhD Thesis, University of Amsterdam, 1985.
[30] Wagner, G., Vivid Logic , Springer, Heidelberg, 1994. · Zbl 0806.68105 · doi:10.1007/3-540-57604-5
[31] Wansing, H., The Logic of Information Structures , Springer, Heidelberg, 1993. · Zbl 0788.03001 · doi:10.1007/3-540-56734-8
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.