English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In this paper we analyse logic of false belief in intuitionistic setting.This logic, studied in its classical version by Steinsvold, Fan, Gilbert andVenturi, describes the following situation: a formula F is not satisfied in agiven world, but we still believe in it (or we think that it should beaccepted). Another interpretations are also possible: e.g. that we do notaccept F but it is imposed on us by a kind of council or advisory board. Fromthe mathematical point of view, the idea is expressed by an adequate form ofmodal operator W which is interpreted in relational frames with neighborhoods.We discuss monotonicity of forcing, soundness, completeness and several otherissues. We present also some simple systems in which confirmation of previouslyaccepted formula is modelled.

A note on the intuitionistic logic of false belief