Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan. The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief...
Saved in:
| Main Authors | , , |
|---|---|
| Format | eBook Book |
| Language | English |
| Published |
Netherlands
Springer Nature
2017
Springer Springer Berlin / Heidelberg |
| Edition | 1 |
| Series | LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Subjects | |
| Online Access | Get full text |
| ISBN | 9783662556658 3662556650 3662556642 9783662556641 |
Cover
| Abstract | This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan. The focus of the workshop is on 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. |
|---|---|
| AbstractList | This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan. The focus of the workshop is on 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. |
| Author | Seligman, Jeremy 山田, 友幸 Baltag, Alexandru |
| Author_FL | ヤマダ, トモユキ |
| Author_FL_xml | – sequence: 3 fullname: ヤマダ, トモユキ |
| Author_xml | – sequence: 1 fullname: Baltag, Alexandru – sequence: 2 fullname: Seligman, Jeremy – sequence: 3 fullname: 山田, 友幸 |
| BackLink | https://cir.nii.ac.jp/crid/1130282273060806656$$DView record in CiNii |
| BookMark | eNpd0NtKAzEQBuCIB7S171BUEKGFJLM5XepStVAQRK_DbJpt165J3ayKb-_W9UZvZpjh44eZATkIMfg9MjJKg5RcCCmF3v83H5EBoxQYMG7kMRml9EIpZVpJKsQJOV_EVeUm40dsqxiwrtqvyRjDcjwPrW_Q7ban5LDEOvnRbx-S59vZU34_XTzczfPrxRQ5M5pPPaiyXGYCnVIAvtDOOS6kcQJZwVEYT1khSjCgVSGBoSwMNZlCBF5yA0Ny1edi2vjPtI51m-xH7YsYN8n-uaqzl73dNvHt3afW_jDnQ9tgbWc3uRBKU5F18qKXoaqsq3aVMaBcc66ASqppFyg7dtYzh6l7Q6jsawxx1eB2nazImNSKwzf9VGXS |
| ContentType | eBook Book |
| DBID | I4C RYH |
| DEWEY | 511 |
| DatabaseName | Casalini Torrossa eBooks Institutional Catalogue CiNii Complete |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science |
| EISBN | 9783662556658 3662556650 |
| Edition | 1 1st Edition 2017 |
| Editor | Seligman, Jeremy Yamada, Tomoyuki Baltag, Alexandru |
| Editor_xml | – sequence: 1 fullname: Baltag, Alexandru – sequence: 2 fullname: Seligman, Jeremy – sequence: 3 fullname: Yamada, Tomoyuki |
| ExternalDocumentID | 9783662556658 EBC5578054 BB24946992 5416872 |
| GroupedDBID | 0D6 0DA 38. AABBV AALVI ABBVZ ABHTH ABQUB ACDJR ADCXD AEDXK AEKFX AETDV AEZAY AGIGN AGYGE AIODD ALBAV ALMA_UNASSIGNED_HOLDINGS AZZ BATQV BBABE CVWCR CZZ I4C IEZ LDH NUC SAO SBO SWYDZ TPJZQ TSXQS Z88 AEJLV RYH Z83 |
| ID | FETCH-LOGICAL-a21982-e37ffd45ac7733eb8ccc2569c5a1b2a59e01b5f39387b631a6b90947aa32f293 |
| ISBN | 9783662556658 3662556650 3662556642 9783662556641 |
| IngestDate | Fri Nov 08 04:01:57 EST 2024 Mon May 05 07:12:42 EDT 2025 Thu Jun 26 21:52:30 EDT 2025 Tue Nov 14 22:52:06 EST 2023 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | QA |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a21982-e37ffd45ac7733eb8ccc2569c5a1b2a59e01b5f39387b631a6b90947aa32f293 |
| OCLC | 1003131296 |
| PQID | EBC5578054 |
| PageCount | 704 |
| ParticipantIDs | askewsholts_vlebooks_9783662556658 proquest_ebookcentral_EBC5578054 nii_cinii_1130282273060806656 casalini_monographs_5416872 |
| PublicationCentury | 2000 |
| PublicationDate | 2017 c2017 2017-10-14 |
| PublicationDateYYYYMMDD | 2017-01-01 2017-10-14 |
| PublicationDate_xml | – year: 2017 text: 2017 |
| PublicationDecade | 2010 |
| PublicationPlace | Netherlands |
| PublicationPlace_xml | – name: Netherlands – name: Berlin – name: Berlin, Heidelberg |
| PublicationSeriesTitle | LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| PublicationYear | 2017 |
| Publisher | Springer Nature Springer Springer Berlin / Heidelberg |
| Publisher_xml | – name: Springer Nature – name: Springer – name: Springer Berlin / Heidelberg |
| SSID | ssj0001876055 |
| Score | 2.1220477 |
| Snippet | This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/... |
| SourceID | askewsholts proquest nii casalini |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Logic devices -- Congresses Logic, Symbolic and mathematical -- Congresses Mathematics. General principles |
| Subtitle | 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings |
| TableOfContents | 4 Summary and Future Work -- References -- Topo-Logic as a Dynamic-Epistemic Logic -- 1 Introduction -- 2 Dynamic Topo-Logic: Syntax, Semantics and Axiomatization -- 3 Soundness and Expressivity -- 4 Completeness -- 5 Conclusions -- References -- Strategic Knowledge of the Past in Quantum Cryptography -- 1 Introduction -- 2 Protocol BB84 -- 3 SLKP -- 4 Modelling and Verifying BB84 into SLKP Framework -- 4.1 Modelling the Transmission -- 4.2 Formalising Eavesdroppings Attempts and Detection -- 4.3 Verification -- 5 Conclusion and Future Works -- References -- Enumerative Induction and Semi-uniform Convergence to the Truth -- 1 Introduction -- 2 Classic Convergence to the Truth -- 3 A New Convergence Concept in Learning Theory -- 4 Why It's a New Success Criterion -- A Convergence Generalized -- References -- How to Make Friends: A Logical Approach to Social Group Creation -- 1 Introduction -- 2 Modelling Social Networks -- 2.1 Similarity Update -- 2.2 Middleman Similarity Update -- 3 Epistemic Social Networks -- 3.1 Knowledge-Based Social Network Creation -- 3.2 Middleman Knowledge-Based Social Network Creation -- 4 Conclusions -- References -- Examining Network Effects in an Argumentative Agent-Based Model of Scientific Inquiry -- 1 Introduction -- 2 The Model -- 2.1 The Argumentative Landscape -- 2.2 Basic Behavior of Agents -- 2.3 Social Networks -- 3 The Main Findings -- 3.1 Parameters Used in Simulations -- 3.2 Results -- 4 Discussion -- 5 Conclusion -- References -- Substructural Logics for Pooling Information -- 1 Introduction -- 2 Motivation -- 3 Information Models -- 4 Communication Models -- 5 The Standard Framework as a Special Case -- 6 Conclusion -- References -- Logical Argumentation Principles, Sequents, and Nondeterministic Matrices -- 1 Introduction -- 2 Semi-abstract Argumentation -- 3 Logical Attack Principles 5 Comparison and Discussion -- References -- An Extended First-Order Belnap-Dunn Logic with Classical Negation -- 1 Introduction -- 2 Sequent Calculus and Strong Equivalence -- 3 Syntactical Embedding and Cut-Elimination -- 4 Semantical Embedding and Completeness for Valuation Semantics -- 5 Completeness for Many-Valued Semantics -- 6 Conclusion -- References -- A Characterization Theorem for Trackable Updates -- 1 Introduction -- 2 Plausibility and Evidence Models -- 3 Tracking -- 3.1 Examples of Tracking -- 3.2 Tracking as a Definability Problem -- 4 Characterizing Trackable Updates -- 5 Conclusions -- A Appendix: Application of Theorem2 -- References -- Convergence, Continuity and Recurrence in Dynamic Epistemic Logic -- 1 Introduction -- 2 Modal Spaces and Logical Convergence -- 3 Topologies on Modal Spaces -- 4 Clean Maps on Modal Spaces -- 5 Recurrence in the Limit Behavior of Clean Maps -- 6 Discussion and Future Venues -- References -- Dynamic Logic of Power and Immunity -- 1 Static Rights -- 2 Dynamic Rights -- 2.1 Core Model -- 2.2 Axiomatization and Reduction to Static Positions -- 3 Dynamic Normative Positions -- 4 Legal Ability and Legal Permissibility -- 4.1 Legal Ability -- 4.2 Legal Permissibility -- 5 Conclusion -- References -- A Propositional Dynamic Logic for Instantial Neighborhood Models -- 1 Introduction -- 2 Instantial Neighborhood Logic -- 2.1 Syntax and Semantics -- 2.2 Axiomatization -- 3 Test, Choice, Parallel Composition and Sequential Composition -- 3.1 Axiomatization -- 4 Iteration -- 4.1 The Language IPDL -- 4.2 Comparison with Dual-Free Game Logic -- 4.3 Axiomatization -- 5 Concluding Remarks -- References -- Contradictory Informationas a Basis for Rational Belief -- 1 Introduction -- 2 The Noise and the Signal -- 3 Beliefs Bases vs. Evidence Sets -- 4 Conclusion -- References -- Stability in Binary Opinion Diffusion Intro -- Preface -- Organization -- Contents -- Long Papers -- A Logical Framework for Graded Predicates -- 1 Introduction -- 2 Graded Predicates -- 3 Mathematical Fuzzy Logic -- 4 A Degree-Based Account of Vagueness -- 5 Modelling Graded Predicates in MFL -- 6 A General Program -- References -- Evidence Logics with Relational Evidence -- 1 Relational Evidence Models -- 2 The Logics of Ag-Models and lex-Models -- 3 The Logic of REL Models -- 4 Conclusions and Future Work -- References -- Rational Coordination with no Communication or Conventions -- 1 Introduction -- 2 Pure Win-Lose Coordination Games -- 2.1 The Setting -- 2.2 Presenting WLC Games as Hypergraphs -- 2.3 Symmetries of WLC Games and Structural Protocols -- 3 Purely Rational Principles in WLC Games -- 3.1 Basic Individual Rationality -- 3.2 Common Beliefs in Rationality and Iterated Reasoning -- 3.3 Basic Collective Rationality -- 3.4 Principles Using Optimal Choices -- 3.5 Elimination of Weakly Dominated Choices -- 3.6 Symmetry-Based Principles -- 3.7 Hierarchy of the Principles Presented so Far -- 3.8 Beyond the Limits of Pure Rationality -- 3.9 Characterising Structurally Unsolvable Games -- 4 Concluding Remarks -- References -- Towards a Logic of Tweeting -- 1 Introduction -- 2 Propositional Network Announcements -- 2.1 A Simple Example -- 2.2 Conditional Tweeting and Relational Semantics -- 2.3 Potential Belief, and Tracking Ghosts -- 3 The Logic -- 3.1 The Modal Base -- 3.2 Duality and Sincerity -- 3.3 Rational Conservative Updating -- 3.4 Following -- 3.5 Network Stability -- 4 Completeness -- 5 Variants -- 5.1 Irreflexivity -- 5.2 Coherence -- 6 Discussion -- References -- Multi-Path vs. Single-Path Replies to Skepticism -- 1 The Skeptic's Argument -- 2 Single-path Fallibilism and Its Problems -- 3 Holliday's Multi-path Approach -- 4 Single-path Approach Revisited 4 Argumentative Consequence 1 Introduction -- 2 Preliminaries -- 2.1 Binary Aggregation -- 2.2 Winning and Veto Coalitions -- 2.3 Opinion Diffusion as Binary Aggregation on Networks -- 3 Networks, Aggregators and Neighborhoods -- 3.1 Neighborhood Structures for Aggregation on Networks -- 3.2 Stabilization in Neighborhood Structures -- 3.3 A Fixpoint Logic for Stability -- 4 Instantiations -- 4.1 Boolean DeGroot Processes -- 4.2 Unanimity Processes -- 5 Conclusions -- References -- Quotient Dynamics: The Logic of Abstraction -- 1 Introduction -- 2 Quotient-Taking as a Model Transformer -- 3 Special Case: Logics of Filtrations -- 4 The Logic of Abstraction -- 5 Further Generalizations and Variations -- References -- The Dynamics of Group Polarization -- 1 Introduction -- 2 Argumentation Frameworks and Multi-agent Scenarios -- 2.1 A Multi-agent Debate -- 2.2 Degree of Acceptability -- 3 Information Transmission and Information Update -- 3.1 Information Transmission -- 3.2 Information Update -- 4 Results -- 5 Conclusions -- References -- Doing Without Nature -- 1 Introduction -- 2 Preliminaries: Group STIT -- 2.1 The Language of Group STIT -- 2.2 Choice Models -- 2.3 Normal Game Models -- 2.4 A Correspondence Result -- 3 Informal Sketch of the Proof -- 4 Product Construction, Finite Case -- 5 Product Construction, Infinite Case -- 6 Concluding Remarks -- References -- Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus -- 1 Introduction -- 2 Syntax and Two-Dimensional Kripke Semantics -- 3 Tree Sequent Calculus of Epistemic Logic of Friendship -- 4 Semantic Completeness of Tree Sequent Calculus of Epistemic Logic of Friendship -- 5 Hilbert System of Epistemic Logic of Friendship -- 6 Extensions of Epistemic Logic of Friendship -- 7 Further Directions -- References -- The Dynamic Logic of Stating and Asking: A Study of Inquisitive Dynamic Modalities 1 Introduction -- 2 Inquisitive Epistemic Logic -- 3 Uttering Statements and Questions -- 4 Normal Form -- 5 Reduction -- 6 Axiomatizing IDEL -- 7 Conclusion and Outlook -- Appendix 1. Proof of the reduction law for E -- Appendix 2. Proof of completeness via !Comp and !Mon -- References -- The Stubborn Non-probabilist---`Negation Incoherence' and a New Way to Block the Dutch Book Argument -- 1 Introduction -- 2 Details -- 3 Discussion -- 4 How to Expect Things When You Are Incoherent -- 4.1 Conclusions -- 5 Relation to Incoherence and Inaccuracy Measures: Some Preliminary Remarks -- References -- Conjunction and Disjunction in Infectious Logics -- 1 Introduction -- 1.1 Background, Motivation and Aim -- 1.2 Preliminaries -- 2 Infectious Logics: An Overview -- 2.1 Paracomplete Case -- 2.2 Paraconsistent Case -- 3 Plurivalent Semantics: Basics -- 3.1 General Plurivalent Semantics -- 3.2 Positive Plurivalent Semantics -- 3.3 Yet Another Plurivalent Semantics: Negative Plurivalence -- 4 Reflections -- 4.1 On Infectious Values in Plurivalent Semantics -- 4.2 Addressing the Main Question -- 5 Conclusion -- References -- On the Concept of a Notational Variant -- 1 Introduction -- 2 Defining Translations -- 3 Translating First-Order Logic into Propositional Logic -- 4 Compositionality and Schematicity -- 5 Conclusion -- A Proof of Theorem21 -- References -- Conditional Doxastic Logic with Oughts and Concurrent Upgrades -- 1 Introduction -- 2 The Static Logic of Plausibility-Betterness Models -- 3 The Dynamic Logic of Concurrent Upgrades -- 4 Axiom System -- 5 Modeling the Stolen Wallet Scenario -- 6 Different Senses of Oughts -- 7 Multi-agent Extension and Deliberating Societies -- References -- On Subtler Belief Revision Policies -- 1 Introduction -- 2 Preliminaries: Representing Beliefs and Belief Change -- 3 Three Subtle Belief Revision Policies |
| Title | Logic, Rationality, and Interaction |
| URI | http://digital.casalini.it/9783662556658 https://cir.nii.ac.jp/crid/1130282273060806656 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=5578054 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783662556658 |
| Volume | 10455 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3fb9MwELagvNAnfooyhixEnpagJLbjhDcyZRrVBhLa0N4ix7W3iqmbmmwPe-JP585JmqwgIZAqq3Hde7gvyX139t0R8j5TodEyZYFVQgecmTRQKqqCkDFeLUJmQpfhffwlOTzl8zNxNrS-c9klTfVB3_0xr-R_UIU5wBWzZP8B2Y1QmIDvgC-MgDCMW-R3c9llLuMLC7Wz7mJ5XW3_tpQSJhW3HcDR30-ai624HwbI64sr15nu6Ou3z3uxq4KE4eFroOPtXgwY0TY0aq4bg11D9vBUGscpXO5ED9ZvCLary0adj1Jn1jebIA6efu4CrnOzNkMuhVcIL4_wU0gv414e4hqcTQ-8NHc_Z16ejkMUkdwKUfQhynuuK0sSrH6WtGWvtmpe5zl4heC4Z2BcH0qZTsijT8X86PsQPYOXeCgEJuv0cuK2nNIgd0qmqv4BpgLMSFMj71C1wnRToBGr5fI34-sYxckTMsEsk6fkgVk9I9PjTfHc-jn56dD16Qhbn4Im6QhZ-pECrvQerrTH1aeIKkUd-bTD1KcOUbju8aQOT98tA3EjLF-Q04PiZP8w6BplBAoMDrhIhklrF1woLSVjpkq11sBlMy3guYuVyEwYVcKyjKWySlikkioDv14qxWILhO8lmayuVuYVocIoLnRccWsTbkMLerYCOHsExHHBZTwj70ZKLW8v3Z5-XY40L9IZ2el1XcIj19Zer0sB5D9FEbug_lIvcYxw4xxIKhiaBJwX-HcyI7QHpnTSu2PKZZHvC4E9OPjrv4jYIY-H-_ANmTTrG7ML5LGp3nZ30i_aGV6i |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Logic%2C+rationality%2C+and+interaction+%3A+6th+International+Workshop%2C+LORI+2017%2C+Sapporo%2C+Japan%2C+September+11-14%2C+2017+%3A+proceedings&rft.au=Baltag%2C+Alexandru&rft.au=Seligman%2C+Jeremy&rft.au=%E5%B1%B1%E7%94%B0%2C+%E5%8F%8B%E5%B9%B8&rft.date=2017-01-01&rft.pub=Springer&rft.isbn=9783662556641&rft.externalDocID=BB24946992 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97836625%2F9783662556658.jpg |