Intuitionistic Logics of Confirmation and Discouragement
Keywords:intuitionistic modal logic, non-normal modal logic, neighbourhood semantics
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.
How to Cite
LicenseCopyright (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.