Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang.

Format:

Book

Contributor:

van der Hoek, Wiebe, editor.

Holliday, Wesley H., editor.

Wang, Wenfang, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 9394.

Theoretical Computer Science and General Issues ; 9394

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Computer science--Mathematics.

Computer science.

Computer logic.

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Discrete Mathematics in Computer Science.

Symbolic and Algebraic Manipulation.

Logics and Meanings of Programs.

Local Subjects:

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Discrete Mathematics in Computer Science.

Symbolic and Algebraic Manipulation.

Logics and Meanings of Programs.

Physical Description:

1 online resource (XI, 439 pages) : 31 illustrations in color.

Edition:

First edition 2015.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.

System Details:

text file PDF

Summary:

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas. This LNCS volume is part of FoLLi book serie and contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/ (LORI-V), held in October 2015 in Taipei, Taiwan. The topics covered in this program well represent the span and depth that has by now become a trademark of the LORI workshop series, where logic interfaces with disciplines as diverse as game theory and decision theory, philosophy and epistemology, linguistics, computer science and artificial intelligence.

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-662-48561-3

9783662485613

Access Restriction:

Restricted for use by site license.