Logic, Rationality, and Interaction: 7th International Workshop, Lori 2019, Chongqing, China, October 18-21, 2019, Proceedings

ISBN-13: 9783662602911 / Angielski / Miękka / 2019 / 441 str.

Patrick Blackburn; Emiliano Lorini; Meiyun Guo

Spis treści

On 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.