Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings - Brossura

Brossura

ISBN 10: 3662485621 ISBN 13: 9783662485620

Casa editrice: Springer, 2016

Riassunto

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.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2016
• Lingua: Inglese
• ISBN 10: 3662485621
• ISBN 13: 9783662485620
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile