Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Front Matter ....Pages I-XII
Front Matter ....Pages 1-1
 A Logical Framework for Graded Predicates  (Petr Cintula, Carles Noguera, Nicholas J. J. Smith)....Pages 3-16
 Evidence Logics with Relational Evidence  (Alexandru Baltag, Andrés Occhipinti)....Pages 17-32
 Rational Coordination with no Communication or Conventions  (Valentin Goranko, Antti Kuusisto, Raine Rönnholm)....Pages 33-48
 Towards a Logic of Tweeting  (Zuojun Xiong, Thomas Ågotnes, Jeremy Seligman, Rui Zhu)....Pages 49-64
 Multi-Path vs. Single-Path Replies to Skepticism  (Wen-fang Wang)....Pages 65-78
 An Extended First-Order Belnap-Dunn Logic with Classical Negation  (Norihiro Kamide, Hitoshi Omori)....Pages 79-93
 A Characterization Theorem for Trackable Updates  (Giovanni Cinà)....Pages 94-107
 Convergence, Continuity and Recurrence in Dynamic Epistemic Logic  (Dominik Klein, Rasmus K. Rendsvig)....Pages 108-122
 Dynamic Logic of Power and Immunity  (Huimin Dong, Olivier Roy)....Pages 123-136
 A Propositional Dynamic Logic for Instantial Neighborhood Models  (Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist)....Pages 137-150
 Contradictory Information as a Basis for Rational Belief  (Adam Přenosil)....Pages 151-165
 Stability in Binary Opinion Diffusion  (Zoé Christoff, Davide Grossi)....Pages 166-180
 Quotient Dynamics: The Logic of Abstraction  (Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün)....Pages 181-194
 The Dynamics of Group Polarization  (Carlo Proietti)....Pages 195-208
 Doing Without Nature  (Frederik Van De Putte, Allard Tamminga, Hein Duijf)....Pages 209-223
 Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus  (Katsuhiko Sano)....Pages 224-239
 The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities  (Ivano Ciardelli)....Pages 240-255
 The Stubborn Non-probabilist—‘Negation Incoherence’ and a New Way to Block the Dutch Book Argument  (Leszek Wroński, Michał Tomasz Godziszewski)....Pages 256-267
 Conjunction and Disjunction in Infectious Logics  (Hitoshi Omori, Damian Szmuc)....Pages 268-283
 On the Concept of a Notational Variant  (Alexander W. Kocurek)....Pages 284-298
 Conditional Doxastic Logic with Oughts and Concurrent Upgrades  (Roberto Ciuni)....Pages 299-313
 On Subtler Belief Revision Policies  (Fernando R. Velázquez-Quesada)....Pages 314-329
 Topo-Logic as a Dynamic-Epistemic Logic  (Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval)....Pages 330-346
 Strategic Knowledge of the Past in Quantum Cryptography  (Christophe Chareton, Hans van Ditmarsch)....Pages 347-361
 Enumerative Induction and Semi-uniform Convergence to the Truth  (Hanti Lin)....Pages 362-376
 How to Make Friends: A Logical Approach to Social Group Creation  (Sonja Smets, Fernando R. Velázquez-Quesada)....Pages 377-390
 Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry  (AnneMarie Borg, Daniel Frey, Dunja Šešelja, Christian Straßer)....Pages 391-406
 Substructural Logics for Pooling Information  (Vít Punčochář, Igor Sedlár)....Pages 407-421
 Logical Argumentation Principles, Sequents, and Nondeterministic Matrices  (Esther Anna Corsi, Christian G. Fermüller)....Pages 422-437
 Non-triviality Done Proof-Theoretically  (Rohan French, Shawn Standefer)....Pages 438-450
 Sette’s Logics, Revisited  (Hitoshi Omori)....Pages 451-465
 Multi-agent Belief Revision Using Multisets  (Konstantinos Georgatos)....Pages 466-479
 Boosting Distance-Based Revision Using SAT Encodings  (Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis)....Pages 480-496
 Counterfactuals in Nelson Logic  (Andreas Kapsner, Hitoshi Omori)....Pages 497-511
 A Dynamic Approach to Temporal Normative Logic  (Fengkui Ju, Gianluca Grilletti)....Pages 512-525
 Labelled Sequent Calculus for Inquisitive Logic  (Jinsheng Chen, Minghui Ma)....Pages 526-540
 Testing Minimax for Rational Ignorant Agents  (Marc-Kevin Daoust, David Montminy)....Pages 541-553
 A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction  (Yosuke Fukuda, Ryosuke Igarashi)....Pages 554-569
 A Nonmonotonic Modal Relevant Sequent Calculus  (Shuhei Shimamura)....Pages 570-584
 A Formalization of the Greater Fools Theory with Dynamic Epistemic Logic  (Hanna S. van Lee)....Pages 585-597
 On Axiomatization of Epistemic GDL  (Guifei Jiang, Laurent Perrussel, Dongmo Zhang)....Pages 598-613
 Putting More Dynamics in Revision with Memory  (Sébastien Konieczny, Ramón Pino Pérez)....Pages 614-627
Front Matter ....Pages 629-629
 An Empirical Route to Logical ‘Conventionalism’  (Eugene Chua)....Pages 631-636
 Beating the Gatecrasher Paradox with Judiciary Narratives  (Rafal Urbaniak)....Pages 637-642
 Distributed Knowledge Whether  (Jie Fan)....Pages 643-647
 A Note on Belief, Question Embedding and Neg-Raising  (Michael Cohen)....Pages 648-652
 Distributed Knowing Whether  (Xingchi Su)....Pages 653-657
 A Causal Theory of Speech Acts  (Chiaki Sakama)....Pages 658-663
 An Axiomatisation for Minimal Social Epistemic Logic  (Liang Zhen)....Pages 664-669
 Relief Maximization and Rationality  (Paolo Galeazzi, Zoi Terzopoulou)....Pages 670-675
 Reason to Believe  (Chenwei Shi, Olivier Roy)....Pages 676-680
 Justification Logic with Approximate Conditional Probabilities  (Zoran Ognjanović, Nenad Savić, Thomas Studer)....Pages 681-686
 From Concepts to Predicates Within Constructivist Epistemology  (Farshad Badie)....Pages 687-692
Back Matter ....Pages 693-694