| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist |
A Propositional Dynamic Logic for Instantial Neighborhood Models.  |
LORI  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengkui Ju, Gianluca Grilletti |
A Dynamic Approach to Temporal Normative Logic. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Chareton, Hans van Ditmarsch |
Strategic Knowledge of the Past in Quantum Cryptography. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Klein 0004, Rasmus K. Rendsvig |
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Cohen |
A Note on Belief, Question Embedding and Neg-Raising. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoran Ognjanovic, Nenad Savic, Thomas Studer |
Justification Logic with Approximate Conditional Probabilities. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafal Urbaniak |
Beating the Gatecrasher Paradox with Judiciary Narratives. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval |
Topo-Logic as a Dynamic-Epistemic Logic. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada (eds.) |
Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen-Fang Wang |
Multi-Path vs. Single-Path Replies to Skepticism. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander W. Kocurek |
On the Concept of a Notational Variant. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenwei Shi, Olivier Roy |
Reason to Believe. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsuhiko Sano |
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Anna Corsi, Christian G. Fermüller |
Logical Argumentation Principles, Sequents, and Nondeterministic Matrices. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Ciná |
A Characterization Theorem for Trackable Updates. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Ciuni |
Conditional Doxastic Logic with Oughts and Concurrent Upgrades. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando R. Velázquez-Quesada |
On Subtler Belief Revision Policies. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Prenosil |
Contradictory Information as a Basis for Rational Belief. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Dong, Olivier Roy |
Dynamic Logic of Power and Immunity. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoé Christoff, Davide Grossi |
Stability in Binary Opinion Diffusion. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
Rational Coordination with no Communication or Conventions. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xingchi Su |
Distributed Knowing Whether - (Extended Abstract). |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Galeazzi, Zoi Terzopoulou |
Relief Maximization and Rationality. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitoshi Omori, Damián Enrique Szmuc |
Conjunction and Disjunction in Infectious Logics. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis |
Boosting Distance-Based Revision Using SAT Encodings. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vít Puncochár, Igor Sedlár |
Substructural Logics for Pooling Information. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Proietti |
The Dynamics of Group Polarization. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanna S. van Lee |
A Formalization of the Greater Fools Theory with Dynamic Epistemic Logic. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide, Hitoshi Omori |
An Extended First-Order Belnap-Dunn Logic with Classical Negation. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitoshi Omori |
Sette's Logics, Revisited. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Leszek Wronski, Michal Tomasz Godziszewski |
The Stubborn Non-probabilist - 'Negation Incoherence' and a New Way to Block the Dutch Book Argument. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc-Kevin Daoust, David P. Montminy |
Testing Minimax for Rational Ignorant Agents. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Farshad Badie |
From Concepts to Predicates Within Constructivist Epistemology. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yosuke Fukuda 0001, Ryosuke Igarashi |
A Reconstruction of Ex Falso Quodlibet via Quasi-Multiple-Conclusion Natural Deduction. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Haim Gaifman, Yang Liu 0027 |
Context-Dependent Utilities - A Solution to the Problem of Constant Acts in Savage. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Can Baskent |
Game Theoretical Semantics for Paraconsistent Logics. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Aucher, Johan van Benthem, Davide Grossi |
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengkui Ju, Nana Cui, Shujiao Li |
Trace Semantics for IPDL. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghui Ma, Jeremy Seligman |
Algebraic Semantics for Dynamic Dynamic Logic. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Emiliano Lorini, Faustine Maffre |
A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawke, Shane Steinert-Threlkeld |
Informational Dynamics of 'Might' Assertions. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sujata Ghosh, Tamoghna Halder, Khyati Sharma, Rineke Verbrugge |
Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kok Yong Lee |
Causal Models and the Ambiguity of Counterfactuals. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Eddy Keming Chen, Daniel Rubio |
Great Expectations. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Klein 0004, Norbert Gratzl, Olivier Roy |
Introspection, Normality and Agglomeration. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Hunter 0001 |
Infinite Ordinals and Finite Improvement. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chi-Her Yang |
Translating a Counterpart Theory into a Quantified Modal Language with Descriptors. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander W. Kocurek |
On the Expressivity of First-Order Modal Logic with "Actually". |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Li |
Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Marra, Dominik Klein 0004 |
Logic and Ethics: An Integrated Model for Norms, Intentions and Actions. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeinab Bakhtiarinoodeh, Umberto Rivieccio |
Epistemic Updates on Bilattices. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Cohen |
A Dynamic Epistemic Logic with a Knowability Principle. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David Ripley |
'Transitivity' of Consequence Relations. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor Protopopescu |
Intuitionistic Epistemology and Modal Logics of Verification. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su |
Symbolic Model Checking for Dynamic Epistemic Logic. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang (eds.) |
Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bolander, Nina Gierasimczuk |
Learning Actions Models: Qualitative Approach. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis |
Probabilistic Epistemic Updates on Algebras. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Seligman, Declan Thompson |
Boolean Network Games and Iterated Boolean Games. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Benja Fallenstein, Jessica Taylor, Paul F. Christiano |
Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Sun 0001 |
Boolean Game with Prioritized Norms. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen-Fang Wang |
Three-Valued Plurivaluationism of Vague Predicates. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Sun 0001, Diego Agustín Ambrossio |
On the Complexity of Input/Output Logic. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shota Motoura |
A General Framework for Modal Correspondence in Dynamic Epistemic Logic. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Kim |
Solving the HI-LO Puzzle. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | María Esteban, Alessandra Palmigiano, Zhiguang Zhao |
An Abstract Algebraic Logic View on Judgment Aggregation. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sujata Ghosh, Fernando R. Velázquez-Quesada |
A Note on Reliability-Based Preference Dynamics. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Georgatos |
Graph-Based Belief Merging. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Beishui Liao, Huaxin Huang |
Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjing Wang 0001 |
A Logic of Knowing How. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Raleigh |
An Argument for Permissivism from Safespots. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Geghard Bedrosian, Alessandra Palmigiano, Zhiguang Zhao |
Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rasmus K. Rendsvig |
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengli Zhang |
On Fuzzy Propositional Logic with Different Negations. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Meiyun Guo, Jeremy Seligman |
The Logic of Priori and a Posteriori Rationality in Strategic Games. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Gratzl |
Sequent Calculi for Multi-modal Logic with Interaction. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chanjuan Liu, Fenrong Liu, Kaile Su |
A Logic for Extensive Games with Short Sight. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoé Christoff, Jens Ulrik Hansen |
A Two-Tiered Formalization of Social Influence. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guifei Jiang, Dongmo Zhang, Xiaojia Tang |
Judgment Aggregation with Abstentions: A Hierarchical Approach. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristine Harjes, Pavel Naumov |
Cellular Games, Nash Equilibria, and Fibonacci Numbers. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Dong, Xiaowu Li |
A Deontic Action Logic for Complex Actions. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Fenrong Liu, Brian Logan 0001 |
Minimal Preference Change. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuefeng Wen, Hu Liu |
Logic Aggregation. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenwei Shi |
Logic of Evidence-based Knowledge. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yì N. Wáng, Thomas Ågotnes |
Public Announcements, Private Actions and Common Knowledge in S5 Structures. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Paolo Turrini |
An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Holm Jensen |
Planning Using Dynamic Epistemic Logic: Correspondence and Complexity. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianying Cui, Xudong Luo |
A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Sun 0001 |
Proof Theory, Semantics and Algebra for Normative Systems. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Liu 0027 |
A Note on Bayesian Games. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando R. Velázquez-Quesada |
Expressivity Hierarchy of Languages for Epistemic Awareness Models. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsiang-Yun Chen |
Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rasmus K. Rendsvig |
Aggregated Beliefs and Informational Cascades. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets |
The Topology of Belief, Belief Revision and Defeasible Knowledge. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Grossi, Olivier Roy, Huaxin Huang (eds.) |
Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengkui Ju, Li Liang |
A Dynamic Deontic Logic Based on Histories. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghui Ma, Katsuhiko Sano |
How to Update Neighborhood Models. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Greco 0001, Alexander Kurz 0001, Alessandra Palmigiano |
Dynamic Epistemic Logic Displayed. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiaoting Zhong, Xudong Luo, Frans H. van Eemeren, Fan Huang |
The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court. |
LORI |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license