首页>外文会议>International Workshop on Logic, Rationality, and Interaction

International Workshop on Logic, Rationality, and Interaction

召开年：2017
召开地：Sapporo(JP)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles

机译：单颗粒认知PDL的Tableeaux完美召回，没有奇迹
- 作者：Yanjun Li
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
2.Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention

机译：广义超表达和Kirman-Sondermann投票弃权的通信
- 作者：Geghard Bedrosian;Alessandra Palmigiano;Zhiguang Zhao
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
- Social choice;
- Model theory;
- Ultrafilter;
- Generalized ultra-product;
- Kirman-Sonderman correspondence;
- Vote abstention;
3.A General Framework for Modal Correspondence in Dynamic Epistemic Logic

机译：动态认知逻辑中模态对应的一般框架
- 作者：Shota Motoura
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
4.Probabilistic Epistemic Updates on Algebras

机译：代数上的概率认知更新
- 作者：Willem Conradie;Sabine Frittella;Alessandra Palmigiano;Apostolos Tzimoulis
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
5.Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

机译：破坏模态逻辑：一些模型和证明理论方面
- 作者：Guillaume Aucher;Johan van Benthem;Davide Grossi
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
6.Informational Dynamics of 'Might' Assertions

机译：'可能'断言的信息动态
- 作者：Peter Hawke;Shane Steinert-Threlkeld
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
7.Three-Valued Plurivaluationism of Vague Predicates

机译：模糊谓词的三价多重主义
- 作者：Wen-Fang Wang
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
- Vagueness;
- Sorites paradox;
- Tolerance principle;
- Three-valued semantics;
- Plurivationism;
- Conditionals;
8.'Transitivity' of Consequence Relations

机译：后果关系的“过境”
- 作者：David Ripley
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
9.A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation

机译：基于命题任务和高阶观察的贫困人的认知逻辑
- 作者：Andreas Herzig;Emiliano Lorini;Faustine Maffre
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
10.Intuitionistic Epistemology and Modal Logics of Verification

机译：直觉认识论和验证的模态逻辑
- 作者：Tudor Protopopescu
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
11.Game Theoretical Semantics for Paraconsistent Logics

机译：恶作剧逻辑游戏理论语义
- 作者：Can Baskent
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
12.An Abstract Algebraic Logic View on Judgment Aggregation

机译：在判断聚集的一个抽象代数逻辑看法
- 作者：Maria Esteban;Alessandra Palmigiano;Zhiguang Zhao
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
- Judgment aggregation;
- Systematicity;
- Impossibility theorems;
- Abstract Algebraic Logic;
- Logical filter;
- Algebra homomorphism;
13.Symbolic Model Checking for Dynamic Epistemic Logic

机译：动态认知逻辑的符号模型检查
- 作者：Johan van Benthem;Jan van Eijck;Malvin Gattinger;Kaile Su
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
14.Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models

机译：动态游戏中的人力战略推理：实验，逻辑，认知模型
- 作者：Sujata Ghosh;Tamoghna Halder;Khyati Sharma;Rineke Verbrugge
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
15.On the Expressivity of First-Order Modal Logic with 'Actually'

机译：关于“实际”的一阶模态逻辑的表现
- 作者：Alexander W. Kocurek
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
- First-order modal logic;
- Actually;
- Two-dimensional semantics;
- Actualist and possibilist quantification;
- Expressivity;
- Bisimulation;
16.Algebraic Semantics for Dynamic Dynamic Logic

机译：动态动态逻辑的代数语义
- 作者：Minghui Ma;Jeremy Seligman
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
17.A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning

机译：具有时间依赖性相关人员推理的可判定时间相关逻辑
- 作者：Norihiro Kamide
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
18.Boolean Network Games and Iterated Boolean Games

机译：布尔网络游戏和迭代布尔游戏
- 作者：Jeremy Seligman;Declan Thompson
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
19.Trace Semantics for IPDL

机译：IPDL的跟踪语义
- 作者：Fengkui Ju;Nana Cui;Shujiao Li
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
- Propositional dynamic logic;
- Intersection;
- Trace semantics;
- Concurrency;
20.Learning Actions Models: Qualitative Approach

机译：学习行动模型：定性方法
- 作者：Thomas Bolander;Nina Gierasimczuk
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
21.A Logic of Knowing How

机译：知道如何逻辑
- 作者：Yanjing Wang
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
22.A Note on Reliability-Based Preference Dynamics

机译：基于可靠性的偏好动态的注意事项
- 作者：Sujata Ghosh;Fernando R. Velazquez-Quesada
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
23.Graph-Based Belief Merging

机译：基于图形的信念合并
- 作者：Konstantinos Georgatos
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
24.Logic and Ethics: An Integrated Model for Norms, Intentions and Actions

机译：逻辑和道德：规范，意图和行动的综合模型
- 作者：Alessandra Marra;Dominik Klein
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2015年
25.Distributed Knowing Whether (Extended Abstract)

机译：知道是否（扩展摘要）
- 作者：Xingchi Su
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Epistemic logic;
- Distributed knowledge;
- Knowing whether;
- Completeness;
26.Reason to Believe

机译：相信的理由
- 作者：Chenwei Shi;Olivier Roy
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
27.A Note on Belief, Question Embedding and Neg-Raising

机译：关于信仰，问题嵌入和否定的说明
- 作者：Michael Cohen
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
28.Distributed Knowledge Whether (Extended Abstract)

机译：分布式知识是否（扩展摘要）
- 作者：Jie Fan
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
29.An Empirical Route to Logical 'Conventionalism'

机译：逻辑“常规主义”的经验途径
- 作者：Eugene Chua
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Philosophy of logic;
- Philosophy of physics;
- Conventionalism;
30.A Causal Theory of Speech Acts

机译：言论行为的因果理论
- 作者：Chiaki Sakama
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
31.Justification Logic with Approximate Conditional Probabilities

机译：与近似条件概率的理由逻辑
- 作者：Zoran Ognjanovic;Nenad Savic;Thomas Studer
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
32.From Concepts to Predicates Within Constructivist Epistemology

机译：从概念到建构主义认识论内的谓词
- 作者：Farshad Badie
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
33.An Axiomatisation for Minimal Social Epistemic Logic

机译：最小社会认知逻辑的公理化
- 作者：Liang Zhen
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
34.Beating the Gatecrasher Paradox with Judiciary Narratives

机译：用司法叙述殴打gatecrasher paradox
- 作者：Rafal Urbaniak
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
35.Relief Maximization and Rationality

机译：救济最大化和理性
- 作者：Paolo Galeazzi;Zoi Terzopoulou
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Relief maximization;
- Rationality;
- Choice principles;
36.The Stubborn Non-probabilist-'Negation Incoherence' and a New Way to Block the Dutch Book Argument

机译：顽固的非概率主义者 - '环保不一致'和一种阻止荷兰书论的新方法
- 作者：Leszek Wronski;Michal Tomasz Godziszewski
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
37.A Formalization of the Greater Fools Theory with Dynamic Epistemic Logic

机译：具有动态认知逻辑的大傻瓜理论的形式化
- 作者：Hanna S. van Lee
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
38.Non-triviality Done Proof-Theoretically

机译：非琐事完成证明 - 理论上
- 作者：Rohan French;Shawn Standefer
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
39.Testing Minimax for Rational Ignorant Agents

机译：测试Limax的Rational Ignorant代理
- 作者：Marc-Kevin Daoust;David Montminy
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Rationality;
- Minimax;
- Uniqueness;
- Permissiveness;
- Scoring rule;
- Objective bayesianism;
40.Quotient Dynamics: The Logic of Abstraction

机译：商动力学：抽象逻辑
- 作者：Alexandru Baltag;Nick Bezhanishvili;Julia Ilin;Aybuke Ozgun
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
41.The Dynamics of Group Polarization

机译：组极化的动态
- 作者：Carlo Proietti
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
42.A Characterization Theorem for Trackable Updates

机译：可跟踪更新的特征定理
- 作者：Giovanni Cina
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
43.Putting More Dynamics in Revision with Memory

机译：用内存修订更多动态
- 作者：Sebastien Konieczny;Ramon Pino Perez
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
44.A Dynamic Approach to Temporal Normative Logic

机译：时间规范逻辑的动态方法
- 作者：Fengkui Ju;Gianluca Grilletti
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Deontic logic;
- Temporal logic;
- Commands;
- Deadlines;
45.How to Make Friends: A Logical Approach to Social Group Creation

机译：如何结交朋友：社会团体创建的逻辑方法
- 作者：Sonja Smets;Fernando R. Velazquez-Quesada
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
46.A Propositional Dynamic Logic for Instantial Neighborhood Models

机译：用于瞬时邻域模型的命题动态逻辑
- 作者：Johan van Benthem;Nick Bezhanishvili;Sebastian Enqvist
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
47.A Logical Framework for Graded Predicates

机译：分级谓词的逻辑框架
- 作者：Petr Cintula;Carles Noguera;Nicholas J. J. Smith
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Graded predicates;
- Vagueness;
- Mathematical fuzzy logic;
48.Multi-Path vs. Single-Path Replies to Skepticism

机译：多路径与单路径回复持怀疑态度
- 作者：Wen-fang Wang
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
49.Dynamic Logic of Power and Immunity

机译：动力和免疫力的动态逻辑
- 作者：Huimin Dong;Olivier Roy
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
50.Multi-agent Belief Revision Using Multisets

机译：使用MultiSets的多代理信念修订
- 作者：Konstantinos Georgatos
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
51.Counterfactuals in Nelson Logic

机译：尼尔森逻辑的反事实
- 作者：Andreas Kapsner;Hitoshi Omori
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
52.Conditional Doxastic Logic with Oughts and Concurrent Upgrades

机译：有条件的Doxastic逻辑与应该和并发升级
- 作者：Roberto Ciuni
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
53.Rational Coordination with no Communication or Conventions

机译：没有沟通或公约的理性协调
- 作者：Valentin Goranko;Antti Kuusisto;Raine Ronnholm
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
54.On the Concept of a Notational Variant

机译：关于一个符号变种的概念
- 作者：Alexander W. Kocurek
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Translation;
- Notational variant;
- Lindenbaum-Tarski algebras;
- Compositionality;
- Schematicity;
55.Strategic Knowledge of the Past in Quantum Cryptography

机译：Quantum密码学中过去的战略知识
- 作者：Christophe Chareton;Hans van Ditmarsch
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
56.Topo-Logic as a Dynamic-Epistemic Logic

机译：Topo-Logic作为动态认识逻辑
- 作者：Alexandru Baltag;Aybuke Ozgun;Ana Lucia Vargas Sandoval
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
57.Substructural Logics for Pooling Information

机译：用于汇集信息的子结构逻辑
- 作者：Vft Puncochar;Igor Sedlar
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
58.Evidence Logics with Relational Evidence

机译：具有关系证据的证据逻辑
- 作者：Alexandru Baltag;Andres Occhipinti
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Evidence logic;
- Dynamic epistemic logic;
- Belief revision;
59.On Subtler Belief Revision Policies

机译：关于副手信仰修订政策
- 作者：Fernando R. Velazquez-Quesada
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
60.Contradictory Information as a Basis for Rational Belief

机译：矛盾的信息作为理性信念的基础
- 作者：Adam Prenosil
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Paraconsistent logic;
- Belnap-Dunn logic;
- Non-monotonic logic;
- Non-reflexive logic;
- Belief revision;
61.Convergence, Continuity and Recurrence in Dynamic Epistemic Logic

机译：动态认知逻辑中的收敛性，连续性和复发
- 作者：Dominik Klein;Rasmus K. Rendsvig
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Dynamic epistemic logic;
- Limit behavior;
- Convergence;
- Recurrence;
- Dynamical systems;
- Metric spaces;
- General topology;
- Modal logic;
62.Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry

机译：在基于争论的科学探究模型中检查网络效应
- 作者：AnneMarie Borg;Daniel Frey;Dunja Seselja;Christian Strasser
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
63.Stability in Binary Opinion Diffusion

机译：二进制意见扩散中的稳定性
- 作者：Zoe Christoff;Davide Grossi
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
64.Sette's Logics, Revisited

机译：Sette的逻辑，重新审视
- 作者：Hitoshi Omori
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
65.The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities

机译：说明和询问的动态逻辑：对好奇动态模式的研究
- 作者：Ivano Ciardelli
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
66.A Nonmonotonic Modal Relevant Sequent Calculus

机译：非单调模态相关序列微积分
- 作者：Shuhei Shimamura
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Nonmonotonicity;
- Defeasibility;
- Relevance;
- Semantic inferentialism;
- Logical expressivism;
67.Conjunction and Disjunction in Infectious Logics

机译：传染性逻辑的联合和分离
- 作者：Hitoshi Omori;Damian Szmuc
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Conjunction;
- Disjunction;
- Infectious logics;
- Logics of nonsense;
- Plurivalent logics;
68.A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction

机译：重建自然扣除的准多重结论的错误合适方式
- 作者：Yosuke Fukuda;Ryosuke Igarashi
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Ex Falso Quodlibet;
- Intuitionistic logic;
- Proof-theoretic semantics;
- Curry-Howard correspondence;
- Catch/throw mechanism;
69.Enumerative Induction and Semi-uniform Convergence to the Truth

机译：枚举诱导和半均匀融合到真相
- 作者：Hanti Lin
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Identification in the limit;
- Convergence to the truth;
- Enumerative induction;
- Uniform convergence;
- Net convergence;
70.Doing Without Nature

机译：没有大自然
- 作者：Frederik Van De Putte;Allard Tamminga;Hein Duijf
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
71.Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus

机译：通过树序列微积分公正认识友谊的认知逻辑
- 作者：Katsuhiko Sano
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Epistemic logics of friendship;
- Tree sequent calculus;
- Hilbert system;
- Completeness;
- Cut elimination theorem;
72.Boosting Distance-Based Revision Using SAT Encodings

机译：使用SAT编码提高基于距离的修订版
- 作者：Sebastien Konieczny;Jean-Marie Lagniez;Pierre Marquis
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
73.On Axiomatization of Epistemic GDL

机译：论认知GDL的公理化
- 作者：Guifei Jiang;Laurent Perrussel;Dongmo Zhang
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
74.Towards a Logic of Tweeting

机译：走向推特的逻辑
- 作者：Zuojun Xiong;Thomas Agotnes;Jeremy Seligman;Rui Zhu
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
75.Logical Argumentation Principles, Sequents, and Nondeterministic Matrices

机译：逻辑论证原理，顺序和非季度矩阵
- 作者：Esther Anna Corsi;Christian G. Fermuller
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Argumentation;
- Sequent calculus;
- Nondeterministic matrices;
76.Labelled Sequent Calculus for Inquisitive Logic

机译：质量逻辑标记的顺序微积分
- 作者：Jinsheng Chen;Minghui Ma
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年
- Inquisitive logic;
- Labelled sequent calculus;
- Cut-elimination;
77.An Extended First-Order Belnap-Dunn Logic with Classical Negation

机译：具有古典否定的延长的一阶Belnap-Dunn逻辑
- 作者：Norihiro Kamide;Hitoshi Omori
- 会议名称：《International Workshop on Logic, Rationality, and Interaction》 | 2017年