Login / Signup
LORI
2009
2013
2019
2023
2009
2023
Keyphrases
Publications
2023
Wei Zhao
Belief Revision with Satisfaction Measure.
LORI
(2023)
Tianyi Chu
Indicative Conditionals in Awareness Framework.
LORI
(2023)
Wei Xiong
Cooperation Mechanisms for the Prisoner's Dilemma with Bayesian Games.
LORI
(2023)
Shiguang Feng
The Expressive Power of Revised Datalog on Problems with Closure Properties.
LORI
(2023)
Jie Fan
Unknown Truths and Unknowable Truths.
LORI
(2023)
Zhengyi Hong
Metaphor Comprehension in Situations.
LORI
(2023)
Minkyung Wang
Aggregating Credences into Beliefs: Threshold-Based Approaches.
LORI
(2023)
Shawn Standefer
Hyperintensionality in Relevant Logics.
LORI
(2023)
David Streit
,
Vincent de Wit
,
Aleks Knoks
Reasons in Weighted Argumentation Graphs.
LORI
(2023)
Jingzhi Fang
,
Jiji Zhang
A Characterization of Lewisian Causal Models.
LORI
(2023)
Thomas Ågotnes
,
Chiaki Sakama
A Formal Analysis of Hollis' Paradox.
LORI
(2023)
Yanjun Li
,
Jiajie Zhao
A Temporal Logic for Successive Events.
LORI
(2023)
Bo Hong
Knowing the Value of a Predicate.
LORI
(2023)
Alexander Bochman
An Inferential Theory of Causal Reasoning.
LORI
(2023)
Xingchi Su
Making Norms and Following Norms.
LORI
(2023)
Hans van Ditmarsch
,
Louwe B. Kuijer
,
Mo Liu
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability.
LORI
(2023)
Yifeng Ding
Modal Logics with Non-rigid Propositional Designators.
LORI
(2023)
Ramit Das
,
R. Ramanujam
,
Sunil Simon
A Logical Description of Priority Separable Games.
LORI
(2023)
Luis Estrada-González
,
Miguel Ángel Trejo-Huerta
Connexivity Meets Church and Ackermann.
LORI
(2023)
Dimitar P. Guelev
Of Temporary Coalitions in Terms of Concurrent Game Models, Announcements, and Temporal Projection.
LORI
(2023)
Pengfei Song
Belief Base: A Minimal Logic of Fine-Grained Information Dynamics.
LORI
(2023)
Yu Peng
,
Yiheng Wang
On the Finite Model Property of Non-normal Modal Logics.
LORI
(2023)
Juntong Guo
,
Minghui Ma
Epistemic Monadic Boolean Algebras.
LORI
(2023)
Sizhuo Liu
,
Katsuhiko Sano
Non-labelled Sequent Calculi of Public Announcement Expansions of bfK45 and bfS5.
LORI
(2023)
volume 14329, 2023
Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings
LORI
14329 (2023)
2021
Gaia Belardinelli
,
Rasmus K. Rendsvig
Epistemic Planning with Attention as a Bounded Resource.
LORI
(2021)
Alberto Termine
,
Giuseppe Primiero
,
Fabio Aurelio D'Asaro
Modelling Accuracy and Trustworthiness of Explaining Agents.
LORI
(2021)
Xun Wang
Completeness Theorems for $\exists \Box $-Fragment of First-Order Modal Logic.
LORI
(2021)
Wesley H. Holliday
,
Chase Norman
,
Eric Pacuit
Voting Theory in the Lean Theorem Prover.
LORI
(2021)
Kaiyang Lin
Discrete Linear Temporal Logic with Knowing-Value Operator.
LORI
(2021)
Riccardo Bruni
,
Lorenzo Rossi
A Unified Approach to Semantic and Soritical Paradoxes.
LORI
(2021)
Huimin Dong
,
Xu Li
,
Yì N. Wáng
Weighted Modal Logic in Epistemic and Deontic Contexts.
LORI
(2021)
Igor Sedlár
,
Andrew Tedder
Situated Epistemic Updates.
LORI
(2021)
Youan Su
,
Ryo Murai
,
Katsuhiko Sano
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge.
LORI
(2021)
Yu Peng
,
Zhe Lin
,
Fei Liang
On the Finite Model Property of Weak Intuitionistic Tense Logic.
LORI
(2021)
Davide Grossi
,
Barteld Kooi
,
Xingchi Su
,
Rineke Verbrugge
How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation.
LORI
(2021)
Yanjun Li
Multi-agent Conformant Planning with Distributed Knowledge.
LORI
(2021)
Xuefeng Wen
,
Xincheng Luo
Representation Results for Non-cumulative Logics.
LORI
(2021)
Yifeng Ding
,
Jixin Liu
,
Yanjing Wang
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic.
LORI
(2021)
Tor Hagland
,
Thomas Ågotnes
Crossing Hands in the Russian Cards Problem.
LORI
(2021)
Giorgio Sbardolini
Assertion, Rejection, and Semantic Universals.
LORI
(2021)
Hitoshi Omori
,
Jonas R. Becker Arenhart
A Generalization of Ordered-Pair Semantics.
LORI
(2021)
Rustam Galimullin
,
Thomas Ågotnes
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers.
LORI
(2021)
Mina Young Pedersen
,
Marija Slavkovik
,
Sonja Smets
Social Bot Detection as a Temporal Logic Model Checking Problem.
LORI
(2021)
Kaibo Xie
,
Jialiang Yan
A Logic for Desire Based on Causal Inference.
LORI
(2021)
Nikolay Bazhenov
,
Manat Mustafa
,
Sergei Ospichev
,
Luca San Mauro
Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy.
LORI
(2021)
Ramit Das
,
Anantha Padmanabha
,
R. Ramanujam
Reasoning in Large Games with Unboundedly Many Players.
LORI
(2021)
volume 13039, 2021
Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings
LORI
13039 (2021)
2019
Jixin Liu
,
Yanjing Wang
,
Yifeng Ding
Weakly Aggregative Modal Logic: Characterization and Interpolation.
LORI
(2019)
volume 11813, 2019
Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
LORI
11813 (2019)