Logics of true belief
type: Item
instance of: scholarly article
title: Logics of true belief
DOI: 10.1215/00294527-2024-0004
author: Q6118740
published in: Notre Dame Journal of Formal Logic
publication date: 2024-07-01T00:00:00Z
Mathematics Subject Classification ID: 03B42
zbMATH DE Number: 7873792
zbMATH Keywords: bisimulation
zbMATH Keywords: completeness
zbMATH Keywords: epistemic logic
zbMATH Keywords: true belief
MaRDI profile type: Publication
cites work: Intricate axioms as interaction axioms
cites work: Q4397069
cites work: Strong noncontingency: on the modal logics of an operator expressively weaker than necessity
cites work: Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics
cites work: CONTINGENCY AND KNOWING WHETHER
cites work: Q3466592
cites work: Reflexive-insensitive modal logics
cites work: Q4639912
cites work: Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness
cites work: Concerning the proper axiom for S4.04 and some related systems
cites work: Bisimulation for Neighbourhood Structures
cites work: Cluster expansion and the boxdot conjecture
cites work: Q3435235
cites work: Q5411427
cites work: A note on logics of ignorance and borders
cites work: Being wrong: logics for false belief
cites work: Q3466606
cites work: The Boxdot Conjecture and the Generalized McKinsey Axiom
cites work: Beyond Knowing That: A New Generation of Epistemic Logics
description: scientific article; zbMATH DE number 7873792