default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th LORI 2017: Sapporo, Japan
- Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada:
Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings. Lecture Notes in Computer Science 10455, Springer 2017, ISBN 978-3-662-55664-1
Long Papers
- Petr Cintula
, Carles Noguera, Nicholas J. J. Smith:
A Logical Framework for Graded Predicates. 3-16 - Alexandru Baltag, Andrés Occhipinti Liberman:
Evidence Logics with Relational Evidence. 17-32 - Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Rational Coordination with no Communication or Conventions. 33-48 - Zuojun Xiong, Thomas Ågotnes, Jeremy Seligman, Rui Zhu:
Towards a Logic of Tweeting. 49-64 - Wen-Fang Wang:
Multi-Path vs. Single-Path Replies to Skepticism. 65-78 - Norihiro Kamide, Hitoshi Omori:
An Extended First-Order Belnap-Dunn Logic with Classical Negation. 79-93 - Giovanni Ciná:
A Characterization Theorem for Trackable Updates. 94-107 - Dominik Klein, Rasmus K. Rendsvig:
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic. 108-122 - Huimin Dong, Olivier Roy:
Dynamic Logic of Power and Immunity. 123-136 - Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist:
A Propositional Dynamic Logic for Instantial Neighborhood Models. 137-150 - Adam Prenosil:
Contradictory Information as a Basis for Rational Belief. 151-165 - Zoé Christoff, Davide Grossi:
Stability in Binary Opinion Diffusion. 166-180 - Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün:
Quotient Dynamics: The Logic of Abstraction. 181-194 - Carlo Proietti:
The Dynamics of Group Polarization. 195-208 - Frederik Van De Putte, Allard M. Tamminga, Hein Duijf:
Doing Without Nature. 209-223 - Katsuhiko Sano:
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus. 224-239 - Ivano Ciardelli:
The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities. 240-255 - Leszek Wronski, Michal Tomasz Godziszewski:
The Stubborn Non-probabilist - 'Negation Incoherence' and a New Way to Block the Dutch Book Argument. 256-267 - Hitoshi Omori, Damián Szmuc:
Conjunction and Disjunction in Infectious Logics. 268-283 - Alexander W. Kocurek:
On the Concept of a Notational Variant. 284-298 - Roberto Ciuni:
Conditional Doxastic Logic with Oughts and Concurrent Upgrades. 299-313 - Fernando R. Velázquez-Quesada:
On Subtler Belief Revision Policies. 314-329 - Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval:
Topo-Logic as a Dynamic-Epistemic Logic. 330-346 - Christophe Chareton, Hans van Ditmarsch:
Strategic Knowledge of the Past in Quantum Cryptography. 347-361 - Hanti Lin:
Enumerative Induction and Semi-uniform Convergence to the Truth. 362-376 - Sonja Smets, Fernando R. Velázquez-Quesada:
How to Make Friends: A Logical Approach to Social Group Creation. 377-390 - Annemarie Borg, Daniel Frey, Dunja Seselja, Christian Straßer:
Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry. 391-406 - Vít Puncochár, Igor Sedlár:
Substructural Logics for Pooling Information. 407-421 - Esther Anna Corsi, Christian G. Fermüller:
Logical Argumentation Principles, Sequents, and Nondeterministic Matrices. 422-437 - Rohan French, Shawn Standefer:
Non-triviality Done Proof-Theoretically. 438-450 - Hitoshi Omori:
Sette's Logics, Revisited. 451-465 - Konstantinos Georgatos:
Multi-agent Belief Revision Using Multisets. 466-479 - Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis:
Boosting Distance-Based Revision Using SAT Encodings. 480-496 - Andreas Kapsner, Hitoshi Omori:
Counterfactuals in Nelson Logic. 497-511 - Fengkui Ju, Gianluca Grilletti:
A Dynamic Approach to Temporal Normative Logic. 512-525 - Jinsheng Chen, Minghui Ma:
Labelled Sequent Calculus for Inquisitive Logic. 526-540 - Marc-Kevin Daoust, David P. Montminy:
Testing Minimax for Rational Ignorant Agents. 541-553 - Yosuke Fukuda, Ryosuke Igarashi:
A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction. 554-569 - Shuhei Shimamura:
A Nonmonotonic Modal Relevant Sequent Calculus. 570-584 - Hanna S. van Lee:
A Formalization of the Greater Fools Theory with Dynamic Epistemic Logic. 585-597 - Guifei Jiang, Laurent Perrussel, Dongmo Zhang:
On Axiomatization of Epistemic GDL. 598-613 - Sébastien Konieczny, Ramón Pino Pérez:
Putting More Dynamics in Revision with Memory. 614-627
Short Papers
- Eugene Chua:
An Empirical Route to Logical 'Conventionalism'. 631-636 - Rafal Urbaniak:
Beating the Gatecrasher Paradox with Judiciary Narratives. 637-642 - Jie Fan:
Distributed Knowledge Whether - (Extended Abstract). 643-647 - Michael Cohen:
A Note on Belief, Question Embedding and Neg-Raising. 648-652 - Xingchi Su:
Distributed Knowing Whether - (Extended Abstract). 653-657 - Chiaki Sakama:
A Causal Theory of Speech Acts. 658-663 - Liang Zhen:
An Axiomatisation for Minimal Social Epistemic Logic. 664-669 - Paolo Galeazzi, Zoi Terzopoulou:
Relief Maximization and Rationality. 670-675 - Chenwei Shi, Olivier Roy:
Reason to Believe. 676-680 - Zoran Ognjanovic, Nenad Savic, Thomas Studer:
Justification Logic with Approximate Conditional Probabilities. 681-686 - Farshad Badie:
From Concepts to Predicates Within Constructivist Epistemology. 687-692
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-16 22:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
