Description
Logic, Rationality, and Interaction
5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Theoretical Computer Science and General Issues Series
Coordinators: van der Hoek Wiebe, Holliday Wesley H., Wang Wen-fang
Language: EnglishSubject for Logic, Rationality, and Interaction:
Support: Print on demand
Description
/li>Contents
/li>Comment
/li>
Sabotage 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.
Includes supplementary material: sn.pub/extras