Intuitionistic Logics of Confirmation and Discouragement

Authors

  • Tomasz Witczak Institute of Mathematics, Faculty of Science and Technology, University of Silesia

DOI:

https://doi.org/10.7546/CRABS.2022.07.01

Keywords:

intuitionistic modal logic, non-normal modal logic, neighbourhood semantics

Abstract

We analyse intuitionistic logics of confirmation and discouragement. This means that our acceptance of some formula φ in a possible world w gets an additional support or disapprovement. We use pre-ordered neighbourhood frames to model this situation. Our systems have certain connection with so-called logics of false belief and unknown truths.

Author Biography

Tomasz Witczak, Institute of Mathematics, Faculty of Science and Technology, University of Silesia

Mailing Address:
Institute of Mathematics,
Faculty of Science and Technology,
University of Silesia
Bankowa 14
40-007 Katowice, Poland

E-mail: tm.witczak@gmail.com

Downloads

Published

29-07-2022

How to Cite

[1]
T. Witczak, “Intuitionistic Logics of Confirmation and Discouragement”, C. R. Acad. Bulg. Sci., vol. 75, no. 7, pp. 945–951, Jul. 2022.

Issue

Vol. 75 No. 7 (2022)

Section

Mathematics

License

Copyright (c) 2022 Proceedings of the Bulgarian Academy of Sciences

Copyright (c) 2022 Proceedings of the Bulgarian Academy of Sciences

Copyright is subject to the protection of the Bulgarian Copyright and Associated Rights Act. The copyright holder of all articles on this site is Proceedings of the Bulgarian Academy of Sciences. If you want to reuse any part of the content, please, contact us.