%{search_type} search results

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed and selected from 52 submissions. Among the topics covered are semantic models for knowledge, for belief, and for uncertainty; dynamic logics of knowledge, information flow, and action; logical analysis of the structure of games; belief revision, belief merging; logics and preferences, compact preference representation; logics of intentions, plans, and goals; logics of probability and uncertainty; logical approaches to decision making and planning; argument systems and their role in interaction; norms, normative interaction, and normative multiagent systems; and logical and computational approaches to social choice.

• Contributed Papers
• Expressing Properties of Coalitional Ability under Resource Bounds
• Dynamic Context Logic
• Toward a Dynamic Logic of Questions
• A General Family of Preferential Belief Removal Operators
• Computing Compliance
• Attributing Distributed Responsibility in Stit Logic
• Characterizations of Iterated Admissibility Based on PEGL
• Can Doxastic Agents Learn? On the Temporal Structure of Learning
• Agreement Theorems in Dynamic-Epistemic Logic
• Learning and Teaching as a Game: A Sabotage Approach
• First-Order Logic Formalisation of Arrow's Theorem
• Twelve Angry Men: A Study on the Fine-Grain of Announcements
• Dynamic Testimonial Logic
• From the Logical Point of View: The Chain Store Paradox Revisited
• A Cooperation Logic for Declaration Structures
• Intentions and Assignments
• Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
• Dynamic Epistemic Logic of Finite Identification
• An Epistemic Logic for Planning with Trials
• Obligations in a Responsible World
• Dynamic Epistemic Temporal Logic
• Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic
• An Update Operator for Strategic Ability
• Strategy Elimination in Games with Interaction Structures
• Posters
• The Logic of Knowledge-Based Cooperation in the Social Dilemma
• Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction
• Oppositional Logic
• Deliberate Contrary-to-Law Action
• Mono-Agent Dynamics
• Modal Expressivity and Definability over Sets
• Dynamic Logics for Explicit and Implicit Information
• Existence of Satisfied Alternative and the Occurring of Morph-Dictator.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Second International Workshop on Logic, Rationality, and Interaction, LORI 2009, held in Chongqing, China, in October 2009. The 24 revised full papers presented together with 8 posters were carefully reviewed and selected from a flood of submissions. The workshops topics include but are not limited to semantic models for knowledge, for belief, and for uncertainty, dynamic logics of knowledge, information flow, and action, logical analysis of the structure of games, belief revision, belief merging, logics for preferences and utilities, logics of intentions, plans, and goals, logics of probability and uncertainty, argument systems and their role in interaction, as well as norms, normative interaction, and normative multiagent systems.

• A Note on the Ontology of Mathematics
• Boolean Functional Synthesis: From Under the Hood of Solvers
• Labelled Calculi for Lattice-based Modal Logics
• Two Ways to Scare a Gruffalo
• Determinacy Axioms and Large Cardinals
• Big ideas from logic for mathematics and computing education
• Modal Logic of Generalized Separated Topological Spaces
• Multiple-valued Semantics for Metric Temporal Logic
• Segment transit function of the induced path function of graphs and its first-order definability
• Fuzzy Free Logic with Dual Domain Semantics
• A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering
• Labelled calculi for the logics of rough concepts
• An Infinity of Intuitionistic Connexive Logics
• Relational Semantics for Normal Topological Quasi-Boolean Logic.

Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023. Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These topics are related to modal and temporal logics, intuitionistic connexive and imperative logics, systems for reasoning with vagueness and rough concepts, topological quasi-Boolean logic and quasi-Boolean based rough set models, and first-order definability of path functions of graphs.

• Background on STIT and related logics.- Agency and counterfactuals.- Causal responsibility: A first refinement of STIT.- STIT semantics for choice-driven counterfactuals.- Counterfactuals grounded in voluntary imagination.- Norms.- From ideal to actual prescriptions in dynamic deontic logic.- Normative conflicts in a dynamic logic of norms and codes.
• (source: Nielsen Book Data)

This book presents the Ph.D. dissertation of Ilaria Canavotto. The thesis won the E.W. Beth Dissertation Prize in 2021 for outstanding dissertations in the fields of logic, language, and information. It combines modal logics of agency, counterfactuals, and norms in order to study the reasoning underlying ascriptions of causal responsibility, the responsibility an agent is subject to because of the states of affairs they have brought about. Ascriptions of causal responsibility involve both causal reasoning and normative reasoning. In order to provide a logical analysis of these components, the dissertation brings together two mainstream logics of actions, STIT (seeing to it that) logic and Propositional Dynamic Logic, and extends them with an analysis of causality, a Lewis-Stalnaker style analysis of counterfactuals, subject matter semantics, and deontic logic. The author uses the resulting logics to investigate a number of philosophical issues underlying ascriptions of causal responsibility and technical issues emerging from the unification of the above-mentioned formal frameworks.
(source: Nielsen Book Data)

This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions.¡ The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, and pedagogy of logic.

• Agency.- Argumentation and Agreement.- Belief Revision and Belief Merging.- Belief Representation.- Cooperation, Decision Making and Planning.- Natural Language.- Philosophy and Philosophical Logic.- Strategic Reasoning.
• (source: Nielsen Book Data)

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. .
(source: Nielsen Book Data)

• Full Papers
• Boolean Games with Epistemic Goals / Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek and Michael Wooldridge
• Minimal Preference Change / Natasha Alechina, Fenrong Liu and Brian Logan
• The Topology of Belief, Belief Revision and Defeasible Knowledge / Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün and Sonja Smets
• Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary / Hsiang-Yun Chen
• A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices / Ka-Fat Chow
• A Two-Tiered Formalization of Social Influence / Zoé Christoff and Jens Ulrik Hansen
• A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint / Jianying Cui and Xudong Luo
• Listen to Me! Public Announcements to Agents That Pay Attention -- or Not / Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini and François Schwarzentruber
• An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers / Valentin Goranko and Paolo Turrini.

• Sequent Calculi for Multi-modal Logic with Interaction / Norbert Gratzl
• Dynamic Epistemic Logic Displayed / Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano
• Cellular Games, Nash Equilibria, and Fibonacci Numbers / Kristine Harjes and Pavel Naumov
• Reasoning about Actions Meets Strategic Logics / Andreas Herzig, Emiliano Lorini and Dirk Walther
• A Dynamic Deontic Logic Based on Histories / Fengkui Ju and Li Liang
• Sequent Systems for Nondeterministic Propositional Logics without Reflexivity / Louwe B. Kuijer
• How to Update Neighborhood Models / Minghui Ma and Katsuhiko Sano
• The Logic of Priori and a Posteriori Rationality in Strategic Games / Meiyun Guo and Jeremy Seligman
• Proof Theory, Semantics and Algebra for Normative Systems / Xin Sun
• Explicit and Implicit Knowledge in Neighbourhood Models / Fernando R. Velázquez-Quesada
• Expressivity Hierarchy of Languages for Epistemic Awareness Models / Fernando R. Velázquez-Quesada.

• Public Announcements, Private Actions and Common Knowledge in S5 Structures / Yì N. Wáng and Thomas Ågotnes
• Logic Aggregation / Xuefeng Wen and Hu Liu
• The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court / Qiaoting Zhong, Xudong Luo, Frans H. van Eemeren and Fan Huang
• Short Papers
• A Deontic Action Logic for Complex Actions / Huimin Dong and Xiaowu Li
• Planning Using Dynamic Epistemic Logic: Correspondence and Complexity / Martin Holm Jensen
• Judgment Aggregation with Abstentions: A Hierarchical Approach / Guifei Jiang, Dongmo Zhang and Xiaojia Tang
• A Note on Bayesian Games / Yang Liu
• A Logic for Extensive Games with Short Sight / Chanjuan Liu, Fenrong Liu and Kaile Su
• Aggregated Beliefs and Informational Cascades / Rasmus K. Rendsvig
• Dynamic Attitudes, Fixed Points and Minimal Change / Ben Rodenhäuser
• Logic of Evidence-based Knowledge / Chenwei Shi
• Backward Induction Is PTIME-complete / Jakub Szymanik
• On Fuzzy Propositional Logic with Different Negations / Shengli Zhang.

This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China. LORI is a series that brings together researchers from a variety of logic-related fields: Game and Decision Theory, Philosophy, Linguistics, Computer Science and AI. This year had a special emphasis on Norms and Argumentation. Out of 42 submissions, 23 full papers and 11 short contributions have been selected through peer-review for inclusion in the workshop program and in this volume. The quality and diversity of these contributions witnesses a lively, fast-growing, and interdisciplinary community working at the intersection of logic and rational interaction.

• Intro; Preface; Organization; Abstract of Invited Talks; The Dynamics of Group Knowledge and Belief; Argument-Based Paraconsistent Logics; Realism, Simplicity, and Topology; Reasoning in Dynamic Games: From Rationality to Rationalization; Understanding Equilibrium Properties of Multi-agent Systems; Beyond Knowing that: A New Generation of Epistemic Logics; Contents; On the Right Path: A Modal Logic for Supervised Learning; 1 Introduction; 2 Modal Logic of Supervised Learning (SLL); 2.1 Language and Semantics; 2.2 Application: Winning Strategies in SLG; 2.3 Preliminary Observations

• 3 Expressive Power of SLL3.1 First-Order Translation; 3.2 Bisimulation and Characterization for SLL; 4 Model Checking and Satisfiability for SLL; 5 Conclusion and Future Work; References; Elementary Iterated Revision and the Levi Identity; 1 Introduction; 2 Preliminaries; 2.1 Single-Step Change; 2.2 Iterated Change; 3 Elementary Revision Operators; 4 Extending the Levi Identity; 4.1 A Proposal Involving Rational Closure; 4.2 Nayak et al.'s `New Levi Identity'; 4.3 Rational Closure and the New Levi Identity; 5 Is Iterated Revision Reducible to Iterated Contraction?

• 6 Conclusions and Further WorkReferences; Undefinability in Inquisitive Logic with Tensor; 1 Introduction; 2 Definability and Eliminability; 3 Inquisitive Logic with Tensor Disjunction; 4 Eliminability; 5 Independence of the Connectives; 5.1 Undefinability of; 5.2 Undefinability of; 6 Conclusion; References; Minimal-Change Counterfactuals in Intuitionistic Logic; 1 Introduction; 2 Counterfactuals in Intuitionistic Kripke Semantics; 3 Minimal Change Conditions; 4 Axiomatization; 5 Canonical Model Construction; 6 Conclusion and Outlook; References

• Consolidation of Belief in Two Logics of Evidence1 Introduction; 2 A Multi-agent Logic of Evidence; 3 A Consolidation Operation; 3.1 Definitions; 3.2 Examples; 3.3 Properties; 3.4 A Unified Language for Evidence and Beliefs; 4 Equivalence Between Evidence Models; 4.1 From B & P to FVEL Models; 4.2 From FVEL to B & P Models; 4.3 Evaluating the Conversions; 5 Comparing Consolidations; 6 Conclusion; References; From Classical to Non-monotonic Deontic Logic Using ASPIC+; 1 Using ASPIC+ to Design Non-monotonic Deontic Logics; 2 Running Example: Free-Choice Permission

• 3 Step
• 1: Arguments Based on Two Monotonic Logics4 Step
• 2: Preferences Among Arguments; 5 Step
• 3: Designing Non-monotonic Logics; 6 Related Work; 7 Summary and Concluding Remarks; References; A Discrete Representation of Lattice Frames; 1 Introduction; 2 Notation and First Definitions; 3 Urquhart's Lattice Representation; 4 Modal Definability of Doubly Ordered Frames; 5 Representability of Lattice Frames; 6 Summary and Outlook; References; Group Announcement Logic with Distributed Knowledge; 1 Introduction; 2 Background; 2.1 Languages; 2.2 Models and Bisimulation; 2.3 Semantics of GALD

This 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. -- Provided by publisher.

• Logic
• Rationality
• Epistemology
• Cognitive Science
• Causality
• Game Theory
• Voting Theory
• Philosophy of Logic

• Logic
• Rationality
• Epistemology
• Cognitive Science
• Causality
• Game Theory
• Voting Theory
• Philosophy of Logic.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 8th International Workshop on Logic, Rationality, and Interaction, LORI 2021, held in Xi`an, China, in October 2021. The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as doxastic and epistemic logics, deontic logic, intuitionistic and subsstructural logics, voting theory, and (a new theme emphasized this year) causal inference.