LEADER 06108nam 22007935 450 001 9910484598403321 005 20230329175404.0 010 $a3-662-48561-3 024 7 $a10.1007/978-3-662-48561-3 035 $a(CKB)4340000000001297 035 $a(SSID)ssj0001585275 035 $a(PQKBManifestationID)16263060 035 $a(PQKBTitleCode)TC0001585275 035 $a(PQKBWorkID)14864592 035 $a(PQKB)10877763 035 $a(DE-He213)978-3-662-48561-3 035 $a(MiAaPQ)EBC6304954 035 $a(MiAaPQ)EBC5595424 035 $a(Au-PeEL)EBL5595424 035 $a(OCoLC)1076232914 035 $a(PPN)190528974 035 $a(EXLCZ)994340000000001297 100 $a20151028d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Rationality, and Interaction $e5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /$fedited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang 205 $a1st ed. 2015. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015. 215 $a1 online resource (XI, 439 p. 31 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9394 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-662-48560-5 327 $aSabotage Modal Logic: Some Model and Proof Theoretic Aspects -- Game Theoretical Semantics for Paraconsistent Logics -- Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention -- Learning Actions Models: Qualitative Approach -- Great Expectations -- Probabilistic Epistemic Updates on Algebras -- An Abstract Algebraic Logic View on Judgment Aggregation -- Context-dependent Utilities: A Solution to the Problem of Constant Acts in Savage -- Graph-Based Belief Merging -- Human strategic reasoning in dynamic games: Experiments, logics, cognitive models -- A note on reliability-based preference dynamics -- Informational Dynamics of `Might' Assertions -- A poor man's epistemic logic based on propositional assignment and higher-order observation -- Trace Semantics for IPDL -- A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning -- Introspection, normality and agglomeration -- On the Expressivity of First-Order Modal Logic with \Actually" -- Causal Models and the Ambiguity of Counterfactuals -- Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles -- Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs -- Algebraic Semantics for Dynamic Dynamic Logic -- Logic and Ethics. An Integrated Model for Norms, Intentions and Actions -- A General Framework for Modal Correspondence in Dynamic Epistemic Logic -- Intuitionistic Epistemology and Modal Logics of Verification -- An argument for Permissivism from safespots -- Model Transformers for Dynamical Systems of Dynamic Epistemic Logic -- `Transitivity' of consequence relations -- Boolean Game with Prioritized Norms -- Boolean Network Games and Iterated Boolean Games -- Symbolic Model Checking for Dynamic Epistemic Logic -- Three-Valued Plurivaluationism of Vague Predicates -- A logic of knowing how -- A Dynamic Epistemic Logic with a Knowability Principle -- Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence -- Infinite Ordinals and Finite Improvement -- Solving the Hi-Lo Puzzle -- Epistemic Updates on algebras -- On the Complexity of Input/Output Logic -- Translating a Counterpart Theory into a Quantified Modal Language with Descriptors. 330 $aFoLLI-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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9394 606 $aMachine theory 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aComputer science 606 $aFormal Languages and Automata Theory 606 $aMathematical Logic and Foundations 606 $aDiscrete Mathematics in Computer Science 606 $aSymbolic and Algebraic Manipulation 606 $aComputer Science Logic and Foundations of Programming 615 0$aMachine theory. 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aComputer science. 615 14$aFormal Languages and Automata Theory. 615 24$aMathematical Logic and Foundations. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004 702 $avan der Hoek$b Wiebe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHolliday$b Wesley H$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWang$b Wen-fang$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484598403321 996 $aLogic, Rationality, and Interaction$92569146 997 $aUNINA