LEADER 04964nam 22006855 450 001 996466434303316 005 20230220110009.0 010 $a3-662-60292-X 024 7 $a10.1007/978-3-662-60292-8 035 $a(CKB)4100000009453373 035 $a(DE-He213)978-3-662-60292-8 035 $a(MiAaPQ)EBC5967981 035 $a(PPN)254467180 035 $a(EXLCZ)994100000009453373 100 $a20190914d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic, Rationality, and Interaction$b[electronic resource] $e7th International Workshop, LORI 2019, Chongqing, China, October 18?21, 2019, Proceedings /$fedited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo 205 $a1st ed. 2019. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2019. 215 $a1 online resource (XXI, 441 p. 794 illus., 5 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11813 311 $a3-662-60291-1 327 $aOn the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving Judgment Reliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership. 330 $aThis LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11813 606 $aMathematical logic 606 $aMachine theory 606 $aLogic programming 606 $aCompilers (Computer programs) 606 $aSocial sciences?Data processing 606 $aMathematical Logic and Foundations 606 $aFormal Languages and Automata Theory 606 $aLogic in AI 606 $aCompilers and Interpreters 606 $aComputer Application in Social and Behavioral Sciences 615 0$aMathematical logic. 615 0$aMachine theory. 615 0$aLogic programming. 615 0$aCompilers (Computer programs). 615 0$aSocial sciences?Data processing. 615 14$aMathematical Logic and Foundations. 615 24$aFormal Languages and Automata Theory. 615 24$aLogic in AI. 615 24$aCompilers and Interpreters. 615 24$aComputer Application in Social and Behavioral Sciences. 676 $a511.3 702 $aBlackburn$b Patrick$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLorini$b Emiliano$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGuo$b Meiyun$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466434303316 996 $aLogic, Rationality, and Interaction$92569146 997 $aUNISA