Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Infinitary S5‐Epistemic Logic
View through CrossRef
AbstractIt is known that a theory in S5‐epistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to finite conjunctions of formulas. We show that this asymmetry between syntax and semantics persists also when infinite conjunctions (up to some given cardinality) are permitted in the language. We develop a strengthened S5‐axiomatic system for such infinitary logics, and prove a strong completeness theorem for them. Then we show that in every such logic there is always a theory with more than one model.
Title: Infinitary S5‐Epistemic Logic
Description:
AbstractIt is known that a theory in S5‐epistemic logic with several agents may have numerous models.
This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to finite conjunctions of formulas.
We show that this asymmetry between syntax and semantics persists also when infinite conjunctions (up to some given cardinality) are permitted in the language.
We develop a strengthened S5‐axiomatic system for such infinitary logics, and prove a strong completeness theorem for them.
Then we show that in every such logic there is always a theory with more than one model.
Related Results
Epistemic Injustice or Epistemic Oppression?
Epistemic Injustice or Epistemic Oppression?
The concepts of epistemic injustice and epistemic oppression both aim to track obstacles to epistemic agencyーi.e., forms of epistemic exclusionーthat are undue and persistent. Indee...
Temas Epistêmicos, não Epistêmicos no Ensino
Temas Epistêmicos, não Epistêmicos no Ensino
Resumo
A Epistemologia da Ciência é um campo de estudo que permite analisar o desenvolvimento da ciência em uma postura dialética, que qualifica as questões internas à Ciência, rel...
Epistemic Injustice
Epistemic Injustice
<p>“Epistemic injustice” is a fairly new concept in philosophy, which, loosely speaking, describes a kind of injustice that occurs at the intersection of structures of the so...
The Epistemic Innocence of Irrational Beliefs
The Epistemic Innocence of Irrational Beliefs
Abstract
Ideally, we would have beliefs that satisfy norms of truth and rationality, as well as fostering the acquisition, retention and use of other relevant inform...
Investigating and developing undergraduate students' representational competence in physics in the context of epistemic practices of science
Investigating and developing undergraduate students' representational competence in physics in the context of epistemic practices of science
This study aimed to understand the varied ways in which undergraduate students demonstrate representational competence in physics in the context of epistemic practices, how these v...
Epistemic relativism
Epistemic relativism
Broadly speaking, relativism is the view that, at least in some domains, everything or every truth is relative to some standards so that, when two or more people disagree about the...
Infinitary Combinatory Reduction Systems: Confluence
Infinitary Combinatory Reduction Systems: Confluence
We study confluence in the setting of higher-order infinitary rewriting, in
particular for infinitary Combinatory Reduction Systems (iCRSs). We prove that
fully-extended, orthogona...
Hyperarithmetical complexity of infinitary action logic with multiplexing
Hyperarithmetical complexity of infinitary action logic with multiplexing
Abstract
In 2023, Kuznetsov and Speranski introduced infinitary action logic with multiplexing $!^{m}\nabla \textrm{ACT}_{\omega }$ and proved that the derivability ...