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
On the Right Path: A Modal Logic for Supervised Learning. 1-14 - Jake Chandler
Elementary Iterated Revision and the Levi Identity. 15-28 - Ivano Ciardelli
Undefinability in Inquisitive Logic with Tensor. 29-42 - Ivano Ciardelli
Minimal-Change Counterfactuals in Intuitionistic Logic. 43-56 - Yuri David Santos:
Consolidation of Belief in Two Logics of Evidence. 57-70 - Huimin Dong
From Classical to Non-monotonic Deontic Logic Using ASPIC+. 71-85 - Ivo Düntsch
A Discrete Representation of Lattice Frames. 86-97 - Rustam Galimullin
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
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
Analyzing Echo Chambers: A Logic of Strong and Weak Ties. 183-198 - Elise Perrotin, Rustam Galimullin
Public Group Announcements and Trust in Doxastic Logic. 199-213 - Carlo Proietti, Davide Grossi
Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes. 214-229 - Paolo Galeazzi, Rasmus K. Rendsvig
Improving Judgment Reliability in Social Networks via Jury Theorems. 230-243 - Takahiro Sawasaki, Katsuhiko Sano
Term-Sequence-Modal Logics. 244-258 - Katrin Schulz, Sonja Smets
A Logical and Empirical Study of Right-Nested Counterfactuals. 259-272 - Igor Sedlár
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
A Two-Layer Partition Awareness Structure. 313-325 - Youan Su, Katsuhiko Sano
First-Order Intuitionistic Epistemic Logic. 326-339 - Kees van Berkel
A Neutral Temporal Deontic STIT Logic. 340-354 - Kees van Berkel
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. 355-369 - Wiebe van der Hoek
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
Knowledge-Now and Knowledge-All. 399-412 - Xun Wang
A Logic of Knowing How with Skippable Plans. 413-424 - Zuojun Xiong
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.
last updated on 2024-11-22 19:31 CET 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: