Logic, rationality, and interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-31, 2015. Proceedings

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas. This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/ (LORI-V), held in October 2015 in Taipei, Taiwan. The topics covered in this program well represent the span and depth that has by now become a trademark of the LORI workshop series, where logic interfaces with disciplines as diverse as game theory and decision theory, philosophy and epistemology, linguistics, computer science and artificial intelligence. 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 - FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas. This LNCS volume is part of the FoLLi book series and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/ (LORI-V), held in October 2015 in Taipei, Taiwan. The topics covered in this program well represent the span and depth that has by now become a trademark of the LORI workshop series, where logic interfaces with disciplines as diverse as game theory and decision theory, philosophy and epistemology, linguistics, computer science and artificial intelligence