- Huimin Dong
, Xu Li
, Yì N. Wáng
:
Weighted Modal Logic in Epistemic and Deontic Contexts. LORI 2021: 73-87 - Rustam Galimullin
, Thomas Ågotnes:
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. LORI 2021: 88-101 - Davide Grossi
, Barteld Kooi, Xingchi Su
, Rineke Verbrugge:
How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. LORI 2021: 201-215 - Tor Hagland, Thomas Ågotnes:
Crossing Hands in the Russian Cards Problem. LORI 2021: 102-110 - Wesley H. Holliday
, Chase Norman
, Eric Pacuit
:
Voting Theory in the Lean Theorem Prover. LORI 2021: 111-127 - Yanjun Li:
Multi-agent Conformant Planning with Distributed Knowledge. LORI 2021: 128-140 - Kaiyang Lin:
Discrete Linear Temporal Logic with Knowing-Value Operator. LORI 2021: 141-148 - Hitoshi Omori, Jonas R. Becker Arenhart:
A Generalization of Ordered-Pair Semantics. LORI 2021: 149-157 - Mina Young Pedersen, Marija Slavkovik, Sonja Smets
:
Social Bot Detection as a Temporal Logic Model Checking Problem. LORI 2021: 158-173 - Yu Peng
, Zhe Lin, Fei Liang:
On the Finite Model Property of Weak Intuitionistic Tense Logic. LORI 2021: 174-182 - Giorgio Sbardolini
:
Assertion, Rejection, and Semantic Universals. LORI 2021: 183-191 - Igor Sedlár, Andrew Tedder:
Situated Epistemic Updates. LORI 2021: 192-200 - Youan Su, Ryo Murai, Katsuhiko Sano
:
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge. LORI 2021: 216-231 - Alberto Termine, Giuseppe Primiero, Fabio Aurelio D'Asaro
:
Modelling Accuracy and Trustworthiness of Explaining Agents. LORI 2021: 232-245 - Xun Wang
:
Completeness Theorems for $\exists \Box $-Fragment of First-Order Modal Logic. LORI 2021: 246-258 - Xuefeng Wen, Xincheng Luo:
Representation Results for Non-cumulative Logics. LORI 2021: 259-272 - Kaibo Xie, Jialiang Yan:
A Logic for Desire Based on Causal Inference. LORI 2021: 273-287 - Sujata Ghosh, Thomas Icard:
Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings. Lecture Notes in Computer Science 13039, Springer 2021, ISBN 978-3-030-88707-0 [contents] - 2019
- Kees van Berkel
, Agata Ciabattoni
, Elisa Freschi, Sanjay Modgil:
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. LORI 2019: 355-369 - Kees van Berkel
, Tim Lyon
:
A Neutral Temporal Deontic STIT Logic. LORI 2019: 340-354 - Alexandru Baltag, Dazhu Li
, Mina Young Pedersen:
On the Right Path: A Modal Logic for Supervised Learning. LORI 2019: 1-14 - Jake Chandler
, Richard Booth:
Elementary Iterated Revision and the Levi Identity. LORI 2019: 15-28 - Ivano Ciardelli
, Fausto Barbero
:
Undefinability in Inquisitive Logic with Tensor. LORI 2019: 29-42 - Ivano Ciardelli
, Xinghan Liu
:
Minimal-Change Counterfactuals in Intuitionistic Logic. LORI 2019: 43-56 - Huimin Dong
, Beishui Liao, Réka Markovich, Leendert W. N. van der Torre
:
From Classical to Non-monotonic Deontic Logic Using ASPIC+. LORI 2019: 71-85 - Ivo Düntsch
, Ewa Orlowska
:
A Discrete Representation of Lattice Frames. LORI 2019: 86-97 - Paolo Galeazzi, Rasmus K. Rendsvig
, Marija Slavkovik:
Improving Judgment Reliability in Social Networks via Jury Theorems. LORI 2019: 230-243 - Rustam Galimullin
, Thomas Ågotnes, Natasha Alechina:
Group Announcement Logic with Distributed Knowledge. LORI 2019: 98-111 - Valentin Goranko, Fengkui Ju
:
Towards a Logic for Conditional Local Strategic Reasoning. LORI 2019: 112-125 - Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng:
Who Should Be My Friends? - Social Balance from the Perspective of Game Theory. LORI 2019: 370-384