| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jingzhi Fang, Jiji Zhang |
A Characterization of Lewisian Causal Models.  |
LORI  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengfei Song |
Belief Base: A Minimal Logic of Fine-Grained Information Dynamics. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shawn Standefer |
Hyperintensionality in Relevant Logics. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Streit, Vincent de Wit, Aleks Knoks |
Reasons in Weighted Argumentation Graphs. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Estrada-González, Miguel Ángel Trejo-Huerta |
Connexivity Meets Church and Ackermann. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Juntong Guo, Minghui Ma |
Epistemic Monadic Boolean Algebras. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Li, Jiajie Zhao |
A Temporal Logic for Successive Events. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev |
Of Temporary Coalitions in Terms of Concurrent Game Models, Announcements, and Temporal Projection. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramit Das, R. Ramanujam 0001, Sunil Simon |
A Logical Description of Priority Separable Games. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sizhuo Liu, Katsuhiko Sano |
Non-labelled Sequent Calculi of Public Announcement Expansions of bfK45 and bfS5. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Xiong |
Cooperation Mechanisms for the Prisoner's Dilemma with Bayesian Games. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Peng, Yiheng Wang |
On the Finite Model Property of Non-normal Modal Logics. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifeng Ding |
Modal Logics with Non-rigid Propositional Designators. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bochman |
An Inferential Theory of Causal Reasoning. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhengyi Hong |
Metaphor Comprehension in Situations. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Andreas Herzig, Fei Liang (eds.) |
Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xingchi Su |
Making Norms and Following Norms. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Fan |
Unknown Truths and Unknowable Truths. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Hong |
Knowing the Value of a Predicate. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch, Louwe B. Kuijer, Mo Liu 0002 |
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Minkyung Wang |
Aggregating Credences into Beliefs: Threshold-Based Approaches. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiguang Feng |
The Expressive Power of Revised Datalog on Problems with Closure Properties. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianyi Chu |
Indicative Conditionals in Awareness Framework. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Zhao |
Belief Revision with Satisfaction Measure. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Chiaki Sakama |
A Formal Analysis of Hollis' Paradox. |
LORI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tor Hagland, Thomas Ågotnes |
Crossing Hands in the Russian Cards Problem. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Peng, Zhe Lin, Fei Liang |
On the Finite Model Property of Weak Intuitionistic Tense Logic. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuefeng Wen, Xincheng Luo |
Representation Results for Non-cumulative Logics. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Youan Su, Ryo Murai, Katsuhiko Sano |
On Artemov and Protopopescu's Intuitionistic Epistemic Logic Expanded with Distributed Knowledge. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Dong, Xu Li, Yì N. Wáng |
Weighted Modal Logic in Epistemic and Deontic Contexts. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Sedlár, Andrew Tedder |
Situated Epistemic Updates. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Li |
Multi-agent Conformant Planning with Distributed Knowledge. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Bruni, Lorenzo Rossi 0005 |
A Unified Approach to Semantic and Soritical Paradoxes. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley H. Holliday, Chase Norman, Eric Pacuit |
Voting Theory in the Lean Theorem Prover. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyang Lin |
Discrete Linear Temporal Logic with Knowing-Value Operator. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Wang |
Completeness Theorems for $\exists \Box $-Fragment of First-Order Modal Logic. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Termine, Giuseppe Primiero, Fabio Aurelio D'Asaro |
Modelling Accuracy and Trustworthiness of Explaining Agents. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Grossi, Barteld Kooi, Xingchi Su, Rineke Verbrugge |
How Knowledge Triggers Obligation - A Dynamic Logic of Epistemic Conditional Obligation. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaia Belardinelli, Rasmus K. Rendsvig |
Epistemic Planning with Attention as a Bounded Resource. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifeng Ding, Jixin Liu, Yanjing Wang 0001 |
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramit Das, Anantha Padmanabha, R. Ramanujam 0001 |
Reasoning in Large Games with Unboundedly Many Players. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mina Young Pedersen, Marija Slavkovik 0001, Sonja Smets |
Social Bot Detection as a Temporal Logic Model Checking Problem. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sujata Ghosh, Thomas Icard (eds.) |
Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Bazhenov 0001, Manat Mustafa, Sergei Ospichev, Luca San Mauro |
Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rustam Galimullin, Thomas Ågotnes |
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Sbardolini |
Assertion, Rejection, and Semantic Universals. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitoshi Omori, Jonas R. Becker Arenhart |
A Generalization of Ordered-Pair Semantics. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaibo Xie, Jialiang Yan 0001 |
A Logic for Desire Based on Causal Inference. |
LORI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Dong, Beishui Liao, Réka Markovich, Leendert W. N. van der Torre |
From Classical to Non-monotonic Deontic Logic Using ASPIC+. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Dazhu Li, Mina Young Pedersen |
On the Right Path: A Modal Logic for Supervised Learning. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Youan Su, Katsuhiko Sano |
First-Order Intuitionistic Epistemic Logic. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Sedlár, Vít Puncochár, Andrew Tedder |
First Degree Entailment with Group Attitudes and Information Updates. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rustam Galimullin, Thomas Ågotnes, Natasha Alechina |
Group Announcement Logic with Distributed Knowledge. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Occhipinti Liberman, Rasmus K. Rendsvig |
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees van Berkel 0002, Tim Lyon |
A Neutral Temporal Deontic STIT Logic. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Düntsch, Ewa Orlowska |
A Discrete Representation of Lattice Frames. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Blackburn, Emiliano Lorini, Meiyun Guo (eds.) |
Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Wang |
A Logic of Knowing How with Skippable Plans. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahiro Sawasaki, Katsuhiko Sano, Tomoyuki Yamada |
Term-Sequence-Modal Logics. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivano Ciardelli, Xinghan Liu |
Minimal-Change Counterfactuals in Intuitionistic Logic. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jixin Liu, Yanjing Wang 0001, Yifeng Ding |
Weakly Aggregative Modal Logic: Characterization and Interpolation. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyang Lin, Zhe Lin 0002 |
The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Proietti, Davide Grossi, Sonja Smets, Fernando R. Velázquez-Quesada |
Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada, Kaibo Xie |
A Logical and Empirical Study of Right-Nested Counterfactuals. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinyu Wang 0009, Yanjing Wang 0001 |
Knowledge-Now and Knowledge-All. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengfei Song, Wei Xiong |
A Two-Layer Partition Awareness Structure. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuojun Xiong, Meiyun Guo |
A Dynamic Hybrid Logic for Followership. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Li, Yanjing Wang 0001 |
Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Fengkui Ju |
Towards a Logic for Conditional Local Strategic Reasoning. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees van Berkel 0002, Agata Ciabattoni, Elisa Freschi, Sanjay Modgil |
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenwei Shi |
Knowledge in Topological Argumentation Models. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jake Chandler, Richard Booth 0001 |
Elementary Iterated Revision and the Levi Identity. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Galeazzi, Rasmus K. Rendsvig, Marija Slavkovik 0001 |
Improving Judgment Reliability in Social Networks via Jury Theorems. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri David Santos |
Consolidation of Belief in Two Logics of Evidence. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivano Ciardelli, Fausto Barbero |
Undefinability in Inquisitive Logic with Tensor. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina |
Public Group Announcements and Trust in Doxastic Logic. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mina Young Pedersen, Sonja Smets, Thomas Ågotnes |
Analyzing Echo Chambers: A Logic of Strong and Weak Ties. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthia Solaki, Fernando R. Velázquez-Quesada |
Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinyu Wang 0009 |
Epistemic Logic with Partial Dependency Operator. |
LORI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivano Ciardelli |
The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Konieczny, Ramón Pino Pérez |
Putting More Dynamics in Revision with Memory. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Sakama |
A Causal Theory of Speech Acts. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Kapsner, Hitoshi Omori |
Counterfactuals in Nelson Logic. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanti Lin |
Enumerative Induction and Semi-uniform Convergence to the Truth. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuhei Shimamura |
A Nonmonotonic Modal Relevant Sequent Calculus. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Fan 0001 |
Distributed Knowledge Whether - (Extended Abstract). |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Cintula, Carles Noguera, Nicholas J. J. Smith |
A Logical Framework for Graded Predicates. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik Van De Putte, Allard M. Tamminga, Hein Duijf |
Doing Without Nature. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonja Smets, Fernando R. Velázquez-Quesada |
How to Make Friends: A Logical Approach to Social Group Creation. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuojun Xiong, Thomas Ågotnes, Jeremy Seligman, Rui Zhu |
Towards a Logic of Tweeting. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Andrés Occhipinti Liberman |
Evidence Logics with Relational Evidence. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Georgatos |
Multi-agent Belief Revision Using Multisets. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohan French, Shawn Standefer |
Non-triviality Done Proof-Theoretically. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Guifei Jiang, Laurent Perrussel, Dongmo Zhang |
On Axiomatization of Epistemic GDL. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Annemarie Borg, Daniel Frey, Dunja Seselja, Christian Straßer |
Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Nick Bezhanishvili, Julia Ilin, Aybüke Özgün |
Quotient Dynamics: The Logic of Abstraction. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Chua |
An Empirical Route to Logical 'Conventionalism'. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinsheng Chen, Minghui Ma |
Labelled Sequent Calculus for Inquisitive Logic. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Zhen |
An Axiomatisation for Minimal Social Epistemic Logic. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license