Skip to main content

Advertisement

Springer Nature Link
Log in

Nonmonotonic propositional logic

  • Letter
  • Published:
Frontiers of Computer Science Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Takeuti G. Proof Theory. Courier Corporation, 2013

  2. Reiter R. A logic for default reasoning. Artificial Intelligence, 1980, 13: 81–132

    Article  MathSciNet  Google Scholar 

  3. Antoniou G. A tutorial on default logics. ACM Computing Surveys, 1999, 31(4): 337–359

    Article  Google Scholar 

  4. Li W. R-calculus: an inference system for belief revision. The Computer Journal, 2007, 50: 378–390

    Article  Google Scholar 

  5. Ginsberg M L. Readings in Nonmonotonic Reasoning. San Francisco: Morgan Kaufmann, 1987

    Google Scholar 

  6. Cao C, Sui Y, Wang Y. The nonmonotonic propositional logics. Artificial Intelligence Research, 2016, 5: 111–120

    Article  Google Scholar 

Download references

Acknowledgements

This work was supported by the Open Fund of the State Key Laboratory of Software Development Environment (SKLSDE-2010KF-06), Beijing University of Aeronautics and Astronautics, and by the National Basic Research Program of China (973 Program) (2005CB321901).

Author information

Authors and Affiliations

  1. State Key Laboratory of Software Development Environment, Beihang University, Beijing, 100191, China

    Wei Li

  2. Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, 100190, China

    Yuefei Sui & Yuhui Wang

  3. School of Computer and Control Engineering, University of Chinese Academy of Sciences, Beijing, 100049, China

    Yuefei Sui & Yuhui Wang

  4. Information Technology Center, China Reinsurance (Group) Corporation, Beijing, 100033, China

    Yuhui Wang

Authors
  1. Wei Li
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Yuefei Sui
    View author publications

    You can also search for this author inPubMed Google Scholar

  3. Yuhui Wang
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Yuhui Wang.

Electronic supplementary material

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, W., Sui, Y. & Wang, Y. Nonmonotonic propositional logic. Front. Comput. Sci. 15, 153402 (2021). https://doi.org/10.1007/s11704-020-7104-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11704-020-7104-x