Unknown Truths and Unknowable Truths (Englisch)
- Neue Suche nach: Fan, Jie
- Weitere Informationen zu Fan, Jie:
- https://orcid.org/http://orcid.org/0000-0003-2441-5019
- Neue Suche nach: Alechina, Natasha
- Weitere Informationen zu Alechina, Natasha:
- https://orcid.org/https://orcid.org/0000-0003-3306-9891
- Neue Suche nach: Herzig, Andreas
- Weitere Informationen zu Herzig, Andreas:
- https://orcid.org/https://orcid.org/0000-0003-0833-2782
- Neue Suche nach: Liang, Fei
- Weitere Informationen zu Liang, Fei:
- https://orcid.org/https://orcid.org/0009-0006-3197-1565
- Neue Suche nach: Fan, Jie
- Weitere Informationen zu Fan, Jie:
- https://orcid.org/http://orcid.org/0000-0003-2441-5019
In:
Logic, Rationality, and Interaction
: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings
;
Kapitel: 7
;
86-93
;
2023
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Unknown Truths and Unknowable Truths
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Alechina, Natasha ( Herausgeber:in ) / Herzig, Andreas ( Herausgeber:in ) / Liang, Fei ( Herausgeber:in ) / Fan, Jie ( Autor:in )
-
Kongress:International Workshop on Logic, Rationality and Interaction ; 2023 ; Jinan, China
-
Erschienen in:Logic, Rationality, and Interaction : 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings ; Kapitel: 7 ; 86-93Lecture Notes in Computer Science ; 14329 ; 86-93
-
Verlag:
- Neue Suche nach: Springer Nature Switzerland
-
Erscheinungsort:Cham
-
Erscheinungsdatum:24.10.2023
-
Format / Umfang:8 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
An Inferential Theory of Causal ReasoningBochman, Alexander et al. | 2023
- 2
-
Indicative Conditionals in Awareness FrameworkChu, Tianyi et al. | 2023
- 3
-
A Logical Description of Priority Separable GamesDas, Ramit / Ramanujam, R. / Simon, Sunil et al. | 2023
- 4
-
Modal Logics with Non-rigid Propositional DesignatorsDing, Yifeng et al. | 2023
- 5
-
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidabilityvan Ditmarsch, Hans / Kuijer, Louwe / Liu, Mo et al. | 2023
- 6
-
Connexivity Meets Church and AckermannEstrada-González, Luis / Trejo-Huerta, Miguel Ángel et al. | 2023
- 7
-
Unknown Truths and Unknowable TruthsFan, Jie et al. | 2023
- 8
-
A Characterization of Lewisian Causal ModelsFang, Jingzhi / Zhang, Jiji et al. | 2023
- 9
-
The Expressive Power of Revised Datalog on Problems with Closure PropertiesFeng, Shiguang et al. | 2023
- 10
-
Of Temporary Coalitions in Terms of Concurrent Game Models, Announcements, and Temporal ProjectionGuelev, Dimitar P. et al. | 2023
- 11
-
Epistemic Monadic Boolean AlgebrasGuo, Juntong / Ma, Minghui et al. | 2023
- 12
-
Knowing the Value of a PredicateHong, Bo et al. | 2023
- 13
-
Metaphor Comprehension in SituationsHong, Zhengyi et al. | 2023
- 14
-
A Temporal Logic for Successive EventsLi, Yanjun / Zhao, Jiajie et al. | 2023
- 15
-
Non-labelled Sequent Calculi of Public Announcement Expansions of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textbf{K45}$$\end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textbf{S5}$$\end{document}Liu, Sizhuo / Sano, Katsuhiko et al. | 2023
- 16
-
On the Finite Model Property of Non-normal Modal LogicsPeng, Yu / Wang, Yiheng et al. | 2023
- 17
-
Belief Base: A Minimal Logic of Fine-Grained Information DynamicsSong, Pengfei et al. | 2023
- 18
-
Hyperintensionality in Relevant LogicsStandefer, Shawn et al. | 2023
- 19
-
Reasons in Weighted Argumentation GraphsStreit, David / de Wit, Vincent / Knoks, Aleks et al. | 2023
- 20
-
Making Norms and Following NormsSu, Xingchi et al. | 2023
- 21
-
Aggregating Credences into Beliefs: Threshold-Based ApproachesWang, Minkyung et al. | 2023
- 22
-
Cooperation Mechanisms for the Prisoner’s Dilemma with Bayesian GamesXiong, Wei et al. | 2023
- 23
-
Belief Revision with Satisfaction MeasureZhao, Wei et al. | 2023
- 24
-
A Formal Analysis of Hollis’ ParadoxÅgotnes, Thomas / Sakama, Chiaki et al. | 2023