default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. LORI 2015: Taipei, Taiwan
- Wiebe van der Hoek, Wesley H. Holliday, Wen-Fang Wang:
Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings. Lecture Notes in Computer Science 9394, Springer 2015, ISBN 978-3-662-48560-6 - Guillaume Aucher, Johan van Benthem, Davide Grossi
:
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. 1-13 - Can Baskent:
Game Theoretical Semantics for Paraconsistent Logics. 14-26 - Geghard Bedrosian, Alessandra Palmigiano, Zhiguang Zhao:
Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention. 27-39 - Thomas Bolander, Nina Gierasimczuk:
Learning Actions Models: Qualitative Approach. 40-52 - Eddy Keming Chen, Daniel Rubio:
Great Expectations. 53-63 - Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis:
Probabilistic Epistemic Updates on Algebras. 64-76 - María Esteban, Alessandra Palmigiano, Zhiguang Zhao:
An Abstract Algebraic Logic View on Judgment Aggregation. 77-89 - Haim Gaifman, Yang Liu:
Context-Dependent Utilities - A Solution to the Problem of Constant Acts in Savage. 90-101 - Konstantinos Georgatos:
Graph-Based Belief Merging. 102-115 - Sujata Ghosh, Tamoghna Halder, Khyati Sharma, Rineke Verbrugge:
Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models. 116-128 - Sujata Ghosh, Fernando R. Velázquez-Quesada:
A Note on Reliability-Based Preference Dynamics. 129-142 - Peter Hawke, Shane Steinert-Threlkeld:
Informational Dynamics of 'Might' Assertions. 143-155 - Andreas Herzig, Emiliano Lorini, Faustine Maffre:
A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation. 156-168 - Fengkui Ju, Nana Cui, Shujiao Li:
Trace Semantics for IPDL. 169-181 - Norihiro Kamide:
A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning. 182-194 - Dominik Klein, Norbert Gratzl, Olivier Roy:
Introspection, Normality and Agglomeration. 195-206 - Alexander W. Kocurek:
On the Expressivity of First-Order Modal Logic with "Actually". 207-219 - Kok Yong Lee:
Causal Models and the Ambiguity of Counterfactuals. 220-229 - Yanjun Li:
Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles. 230-242 - Beishui Liao, Huaxin Huang:
Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs. 243-254 - Minghui Ma, Jeremy Seligman:
Algebraic Semantics for Dynamic Dynamic Logic. 255-267 - Alessandra Marra, Dominik Klein:
Logic and Ethics: An Integrated Model for Norms, Intentions and Actions. 268-281 - Shota Motoura:
A General Framework for Modal Correspondence in Dynamic Epistemic Logic. 282-294 - Tudor Protopopescu:
Intuitionistic Epistemology and Modal Logics of Verification. 295-307 - Thomas Raleigh:
An Argument for Permissivism from Safespots. 308-315 - Rasmus K. Rendsvig:
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. 316-327 - David Ripley:
'Transitivity' of Consequence Relations. 328-340 - Xin Sun:
Boolean Game with Prioritized Norms. 341-352 - Jeremy Seligman, Declan Thompson:
Boolean Network Games and Iterated Boolean Games. 353-365 - Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su:
Symbolic Model Checking for Dynamic Epistemic Logic. 366-378 - Wen-Fang Wang:
Three-Valued Plurivaluationism of Vague Predicates. 379-391 - Yanjing Wang:
A Logic of Knowing How. 392-405 - Michael Cohen:
A Dynamic Epistemic Logic with a Knowability Principle. 406-410 - Benja Fallenstein, Jessica Taylor, Paul F. Christiano:
Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence. 411-415 - Aaron Hunter:
Infinite Ordinals and Finite Improvement. 416-420 - Brian Kim:
Solving the HI-LO Puzzle. 421-425 - Zeinab Bakhtiarinoodeh, Umberto Rivieccio:
Epistemic Updates on Bilattices. 426-428 - Xin Sun, Diego Agustín Ambrossio:
On the Complexity of Input/Output Logic. 429-434 - Chi-Her Yang:
Translating a Counterpart Theory into a Quantified Modal Language with Descriptors. 435-438
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 2026-04-01 23:22 CEST 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:
