Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28–31, 2015, Proceedings

Front Matter....Pages -
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects....Pages 1-13
Game Theoretical Semantics for Paraconsistent Logics....Pages 14-26
Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention....Pages 27-39
Learning Actions Models: Qualitative Approach....Pages 40-52
Great Expectations....Pages 53-63
Probabilistic Epistemic Updates on Algebras....Pages 64-76
An Abstract Algebraic Logic View on Judgment Aggregation....Pages 77-89
Context-Dependent Utilities....Pages 90-101
Graph-Based Belief Merging....Pages 102-115
Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models....Pages 116-128
A Note on Reliability-Based Preference Dynamics....Pages 129-142
Informational Dynamics of ‘Might’ Assertions....Pages 143-155
A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation....Pages 156-168
Trace Semantics for IPDL....Pages 169-181
A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning....Pages 182-194
Introspection, Normality and Agglomeration....Pages 195-206
On the Expressivity of First-Order Modal Logic with “Actually”....Pages 207-219
Causal Models and the Ambiguity of Counterfactuals....Pages 220-229
Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles....Pages 230-242
Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs....Pages 243-254
Algebraic Semantics for Dynamic Dynamic Logic....Pages 255-267
Logic and Ethics: An Integrated Model for Norms, Intentions and Actions....Pages 268-281
A General Framework for Modal Correspondence in Dynamic Epistemic Logic....Pages 282-294
Intuitionistic Epistemology and Modal Logics of Verification....Pages 295-307
An Argument for Permissivism from Safespots....Pages 308-315
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic....Pages 316-327
‘Transitivity’ of Consequence Relations....Pages 328-340
Boolean Game with Prioritized Norms....Pages 341-352
Boolean Network Games and Iterated Boolean Games....Pages 353-365
Symbolic Model Checking for Dynamic Epistemic Logic....Pages 366-378
Three-Valued Plurivaluationism of Vague Predicates....Pages 379-391
A Logic of Knowing How....Pages 392-405
A Dynamic Epistemic Logic with a Knowability Principle....Pages 406-410
Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence....Pages 411-415
Infinite Ordinals and Finite Improvement....Pages 416-420
Solving the HI-LO Puzzle....Pages 421-425
Epistemic Updates on Bilattices....Pages 426-428
On the Complexity of Input/Output Logic....Pages 429-434
Translating a Counterpart Theory into a Quantified Modal Language with Descriptors....Pages 435-438
Back Matter....Pages -