Skip to main content
SpringerLink
Log in

A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The problems we deal with concern reasoning about incomplete knowledge. Knowledge is understood as ability of an ideal rational agent to make decisions about pieces of information. The formalisms we are particularly interested in are Moore's autoepistemic logic (AEL) and its variant, the logic of acceptance and rejection (AEL2). It is well-known that AEL may be seen as the nonmonotonic KD45 modal logic. The aim is to give an appropriate modal formalization for AEL2.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Chellas, B. F., 1980, Modal Logic: An Introduction, Cambridge University Press, New York.

    Google Scholar 

  2. Hughes, G. E. and Cresswell, M. J., 1984, A Companion to Modal Logic, Methuen, London and New York.

    Google Scholar 

  3. GomoliŃska, A., 1993, 'On Logical Methods of Knowledge Representation with Incomplete Information' (in Polish). Ph. D. dissertation, University of Warsaw.

  4. GomoliŃska A., 1994, On the Logic of Acceptance and Rejection, Uppsala Prints and Preprints in Philosophy, 7.

  5. Moore, R. C., 1985, 'Semantical Considerations on Nonmonotonic Logic, ' Artificial Intelligence, 25(1), 75-94.

    Google Scholar 

  6. Moore, R. C., 1987, 'Possible-World Semantics for Autoepistemic Logic', in Readings in Nonmonotonic Reasoning, M. L. Ginsberg ed., Morgan Kaufmann, 137-142.

  7. Pogorzelski, W. A., 1975, The Classical Propositional Calculus (in Polish), PWN, Warszawa.

    Google Scholar 

  8. Pogorzelski, W. A., 1994, Notions and Theorems of Elementary Formal Logic, Warsaw University — Białystok Division.

  9. Schwarz, G., 1990, 'Autoepistemic Modal Logics', in Proceedings of the 3rd Conference TARK (1990), R. Parikh ed., Morgan Kaufmann, 97-109.

  10. Schwarz, G., 1991, 'Autoepistemic Logic of Knowledge', in Proceedings of the 1st International Workshop on Logic Programming and Nonmonotonic Reasoning, A. Nerode, W. Marek, and V. S. Subrahmanian eds., MIT Press, 260-274.

  11. Stalnaker, R., 1993, 'A Note on Nonmonotonic Modal Logic', Artificial Intelligence, 64(2), 183-196.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bialystok Division Akademicka 2, Institute of Mathematics University of Warsaw, 15-267, Bialystok, Poland

    Anna Gomolińska

Authors
  1. Anna Gomolińska
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gomolińska, A. A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection. Studia Logica 58, 113–127 (1997). https://doi.org/10.1023/A:1004996032649

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1004996032649

Search

Navigation