


default search action
7th LORI 2019: Chongqing, China
- Patrick Blackburn
, Emiliano Lorini, Meiyun Guo:
Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings. Lecture Notes in Computer Science 11813, Springer 2019, ISBN 978-3-662-60291-1 - Alexandru Baltag, Dazhu Li
, Mina Young Pedersen:
On the Right Path: A Modal Logic for Supervised Learning. 1-14 - Jake Chandler
, Richard Booth:
Elementary Iterated Revision and the Levi Identity. 15-28 - Ivano Ciardelli
, Fausto Barbero
:
Undefinability in Inquisitive Logic with Tensor. 29-42 - Ivano Ciardelli
, Xinghan Liu
:
Minimal-Change Counterfactuals in Intuitionistic Logic. 43-56 - Yuri David Santos:
Consolidation of Belief in Two Logics of Evidence. 57-70 - Huimin Dong
, Beishui Liao, Réka Markovich, Leendert W. N. van der Torre
:
From Classical to Non-monotonic Deontic Logic Using ASPIC+. 71-85 - Ivo Düntsch
, Ewa Orlowska
:
A Discrete Representation of Lattice Frames. 86-97 - Rustam Galimullin
, Thomas Ågotnes, Natasha Alechina
:
Group Announcement Logic with Distributed Knowledge. 98-111 - Valentin Goranko, Fengkui Ju
:
Towards a Logic for Conditional Local Strategic Reasoning. 112-125 - Yanjun Li, Yanjing Wang
:
Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach. 126-139 - Kaiyang Lin, Zhe Lin:
The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. 140-152 - Jixin Liu, Yanjing Wang
, Yifeng Ding:
Weakly Aggregative Modal Logic: Characterization and Interpolation. 153-167 - Andrés Occhipinti Liberman, Rasmus K. Rendsvig
:
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics. 168-182 - Mina Young Pedersen, Sonja Smets
, Thomas Ågotnes:
Analyzing Echo Chambers: A Logic of Strong and Weak Ties. 183-198 - Elise Perrotin, Rustam Galimullin
, Quentin Canu, Natasha Alechina
:
Public Group Announcements and Trust in Doxastic Logic. 199-213 - Carlo Proietti, Davide Grossi
, Sonja Smets
, Fernando R. Velázquez-Quesada
:
Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes. 214-229 - Paolo Galeazzi, Rasmus K. Rendsvig
, Marija Slavkovik:
Improving Judgment Reliability in Social Networks via Jury Theorems. 230-243 - Takahiro Sawasaki, Katsuhiko Sano
, Tomoyuki Yamada:
Term-Sequence-Modal Logics. 244-258 - Katrin Schulz, Sonja Smets
, Fernando R. Velázquez-Quesada
, Kaibo Xie:
A Logical and Empirical Study of Right-Nested Counterfactuals. 259-272 - Igor Sedlár
, Vít Puncochár
, Andrew Tedder
:
First Degree Entailment with Group Attitudes and Information Updates. 273-285 - Chenwei Shi:
Knowledge in Topological Argumentation Models. 286-296 - Anthia Solaki, Fernando R. Velázquez-Quesada
:
Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks. 297-312 - Pengfei Song
, Wei Xiong:
A Two-Layer Partition Awareness Structure. 313-325 - Youan Su, Katsuhiko Sano
:
First-Order Intuitionistic Epistemic Logic. 326-339 - Kees van Berkel
, Tim Lyon
:
A Neutral Temporal Deontic STIT Logic. 340-354 - Kees van Berkel
, Agata Ciabattoni
, Elisa Freschi, Sanjay Modgil:
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. 355-369 - Wiebe van der Hoek
, Louwe B. Kuijer, Yì N. Wáng:
Who Should Be My Friends? - Social Balance from the Perspective of Game Theory. 370-384 - Xinyu Wang
:
Epistemic Logic with Partial Dependency Operator. 385-398 - Xinyu Wang
, Yanjing Wang
:
Knowledge-Now and Knowledge-All. 399-412 - Xun Wang
:
A Logic of Knowing How with Skippable Plans. 413-424 - Zuojun Xiong
, Meiyun Guo:
A Dynamic Hybrid Logic for Followership. 425-439

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.