default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th LORI 2025: Xi'an, China
- Valentin Goranko
, Chenwei Shi, Wei Wang:
Logic, Rationality, and Interaction - 10th International Conference on Logic, Rationality and Interaction, LORI 2025, Xi'an, China, October 16-19, 2025, Proceedings. Lecture Notes in Computer Science 16010, Springer 2026, ISBN 978-981-95-2480-8 - Thomas Ågotnes, Rustam Galimullin, Ken Satoh, Satoshi Tojo:
Intentionally Anonymous Public Announcements. 1-17 - Thomas Ågotnes, Fengkui Ju:
Next-Time Coalition Logic. 18-33 - Alexandru Baltag, Sonja Smets:
How to Avoid Unexpected Exams. 34-50 - Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang:
Probabilistic Causal Kripke Models. 51-64 - Jingzhi Fang, Jiji Zhang:
Generalized Causal Models with Ontological Dependencies. 65-78 - Yanjun Li, Shuyuan Li:
Interval Temporal Logic HS with Path Quantifiers. 79-94 - Xiaolong Liang, Yì N. Wáng, Thomas Ågotnes:
The Modal Logic of n-State Frames. 95-109 - Aybüke Özgün, Sonja Smets, Teodor-Stefan Zotescu:
Evidence Diffusion in Social Networks: a Topological Perspective. 110-123 - Chenwei Shi, Wenfei Ouyang:
Functional Dependence in Uniform Dependence Model. 124-135 - Satoru Suzuki:
Measurement-Theoretic Foundations of Logic of Qualitative Conditional Probability. 136-150 - Xun Wang:
Craig Interpolation Property in $\exists \Box $-Bundled Fragment of First-Order Modal Logic. 151-164 - Yiheng Wang, Yu Peng:
Finite Model Property in Normal Extensions of Euclidean Quasi-Boolean Modal Logics. 165-178 - Zheng Zhou, Christian Straßer, Kees van Berkel:
Hypothesis-Driven Disjunctive Reasoning in Logical Argumentation. 179-194 - Rui Zhu:
A Finitary Axiomatization of Arbitrary Social Announcement Logic. 195-212
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 2025-10-27 23:37 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:
