![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6th 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 Enrique 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.