Logic of Questions from the Viewpoint of Dynamic Epistemic Logic

被引：0
|
作者：
Pelis, Michal [1 ]
Majer, Ondrej [1 ]
机构：
[1] Acad Sci Czech Republic, Inst Philosophy, Prague 11000 1, Czech Republic
来源：
LOGICA YEARBOOK 2009 | 2010年
关键词：
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：157 / 172
页数：16
相关论文
共 50 条
  • [31] Dynamic Epistemic Logic Games with Epistemic Temporal Goals
    Maubert, Bastien
    Murano, Aniello
    Pinchinat, Sophie
    Schwarzentruber, Francois
    Stranieri, Silvia
    ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 155 - 162
  • [32] Extending probabilistic dynamic epistemic logic
    Joshua Sack
    Synthese, 2009, 169 : 241 - 257
  • [33] Intensional Protocols for Dynamic Epistemic Logic
    van Lee, Hanna S.
    Rendsvig, Rasmus K.
    van Wijk, Suzanne
    JOURNAL OF PHILOSOPHICAL LOGIC, 2019, 48 (06) : 1077 - 1118
  • [34] Private Dynamic Epistemic Friendship Logic
    Viana, Henrique
    Araujo, Arnaldo
    Leite, Lucas
    Alcantara, Joao
    2014 BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), 2014, : 378 - 383
  • [35] Dynamic Epistemic Logic of Finite Identification
    Ma, Minghui
    LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS, 2009, 5834 : 227 - 237
  • [36] Dynamic Epistemic Logic and Temporal Modality
    Yap, Audrey
    DYNAMIC FORMAL EPISTEMOLOGY, 2011, 351 : 33 - 50
  • [37] Learning by Erasing in Dynamic Epistemic Logic
    Gierasimczuk, Nina
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 : 362 - 373
  • [38] Dynamic Epistemic Logic and knowledge puzzles
    van Ditmarsch, H. P.
    van der Hoek, W.
    Kooi, B. P.
    CONCEPTUAL STRUCTURES: KNOWLEDGE ARCHITECTURES FOR SMART APPLICATIONS, PROCEEDINGS, 2007, 4604 : 45 - +
  • [39] Toward a Dynamic Logic of Questions
    van Benthem, Johan
    Minica, Stefan
    LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS, 2009, 5834 : 27 - 41
  • [40] Dynamic Epistemic Logic with Topological Semantics
    He Shunan
    Guo Jiahong
    2016 3RD INTERNATIONAL CONFERENCE ON SYSTEMS AND INFORMATICS (ICSAI), 2016, : 1154 - 1159
12345