Partial Up and Down Logic
Jan O. M. Jaspars
Source: Notre Dame J. Formal Logic Volume 36, Number 1
(1995), 134-157.
Abstract
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.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1040308832
Mathematical Reviews number (MathSciNet): MR1359111
Digital Object Identifier: doi:10.1305/ndjfl/1040308832
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.
Mathematical Reviews (MathSciNet): MR38:5587
Zentralblatt MATH: 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.
Mathematical Reviews (MathSciNet): MR58:5021
Zentralblatt MATH: 0424.03012
[3] van Benthem, J. F. A. K., A Manual of Intensional Logic, CSLI, Stanford, 1984.
Mathematical Reviews (MathSciNet): MR87m:03019
[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.
Mathematical Reviews (MathSciNet): MR96c:03065
Zentralblatt MATH: 0831.03011
Digital Object Identifier: 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.
Zentralblatt MATH: 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.
Mathematical Reviews (MathSciNet): MR41:6666
Zentralblatt MATH: 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.
Zentralblatt MATH: 0481.68091
Mathematical Reviews (MathSciNet): MR743446
Digital Object Identifier: doi:10.1007/BFb0000064
[9] Gurevich, Y., ``Intuitionistic logic with strong negation," Studia Logica, vol. 36 (1977), pp. 49--59.
Mathematical Reviews (MathSciNet): MR58:160
Zentralblatt MATH: 0366.02015
Digital Object Identifier: doi:10.1007/BF02121114
[10] Hughes, G. E., and M. J. Cresswell, A Companion to Modal Logic, Methuen, New York, 1984.
Mathematical Reviews (MathSciNet): MR86j:03014
Zentralblatt MATH: 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.
Mathematical Reviews (MathSciNet): MR96h:03044a
Zentralblatt MATH: 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.
Mathematical Reviews (MathSciNet): MR98b:03030
Zentralblatt MATH: 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.
Mathematical Reviews (MathSciNet): MR34:1184
Zentralblatt MATH: 0137.00702
[15] Langholm, T., Partiality, Truth and Persistence, CSLI, Stanford, 1988.
Zentralblatt MATH: 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.
Mathematical Reviews (MathSciNet): MR10,669a
Zentralblatt MATH: 0033.24304
JSTOR: links.jstor.org
Digital Object Identifier: 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.
Mathematical Reviews (MathSciNet): MR83e:68138
Zentralblatt MATH: 0435.68069
Digital Object Identifier: doi:10.1016/0004-3702(80)90014-4
[20] de Rijke, M., ``A system of dynamic modal logic," Journal of Philosophical Logic, forthcoming.
Mathematical Reviews (MathSciNet): MR2000d:03034
Zentralblatt MATH: 0910.03016
Digital Object Identifier: doi:10.1023/A:1004295308014
[21] de Rijke, M., Extending Modal Logic, PhD Thesis, University of Amsterdam, 1993.
[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.
Mathematical Reviews (MathSciNet): MR96g:03036
Zentralblatt MATH: 0831.03005
[23] Statman, R., ``Intuitionistic propositional logic is polynomial-space complete," Theoretical Computer Science, vol. 9 (1979), pp. 67--72.
Mathematical Reviews (MathSciNet): MR80m:68042
Zentralblatt MATH: 0411.03049
Digital Object Identifier: doi:10.1016/0304-3975(79)90006-9
[24] Thijsse, E. G. C., Partial Logic and Knowledge Representation, PhD Thesis, University of Tilburg, 1992.
[25] Thomason, R. H., ``On the strong semantical completeness of the intuitionistic predicate logic," Journal of Symbolic Logic, vol. 33 (1968), pp. 1--7.
Mathematical Reviews (MathSciNet): MR39:1301
Zentralblatt MATH: 0155.01402
JSTOR: links.jstor.org
Digital Object Identifier: 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.
Mathematical Reviews (MathSciNet): MR41:1510
Zentralblatt MATH: 0181.00901
Digital Object Identifier: doi:10.1002/malq.19690151602
[27] Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics vol. I, North Holland, Amsterdam, 1990.
Mathematical Reviews (MathSciNet): MR90e:03002a
Zentralblatt MATH: 0653.03040
[28] Turner, R., Logics for Artificial Intelligence, Ellis Horwood, Chicester, 1984.
Mathematical Reviews (MathSciNet): MR87m:03002
[29] Veltman, F., Logics for Conditionals, PhD Thesis, University of Amsterdam, 1985.
[30] Wagner, G., Vivid Logic, Springer, Heidelberg, 1994.
Mathematical Reviews (MathSciNet): MR95h:68174
Zentralblatt MATH: 0806.68105
[31] Wansing, H., The Logic of Information Structures, Springer, Heidelberg, 1993.
Mathematical Reviews (MathSciNet): MR95b:03035
Zentralblatt MATH: 0788.03001
Notre Dame Journal of Formal Logic
