Logic, Rationality, And Interaction 5Th International Workshop, Lori 2015, Taipei, Taiwan, October 2830, 2015 Proceedings 9394 Lecture Notes In Computer Science

SabotageModal Logic: Some Model and Proof Theoretic Aspects.- Game TheoreticalSemantics for Paraconsistent Logics.- Generalized Ultraproduct andKirman-Sondermann Correspondence for Vote Abstention.- Learning Actions Models:Qualitative Approach.- Great Expectations.- Probabilistic Epistemic Updates onAlgebras.- An Abstract Algebraic Logic View on Judgment Aggregation.- Context-dependentUtilities: A Solution to the Problem of Constant Acts in Savage.- Graph-BasedBelief Merging.- Human strategic reasoning in dynamic games: Experiments,logics, cognitive models.- A note on reliability-based preference dynamics.- InformationalDynamics of `Might' Assertions.- A poor man's epistemic logic based onpropositional assignment and higher-order observation.- Trace Semantics forIPDL.- A Decidable Temporal Relevant Logic for Time-Dependent Relevant HumanReasoning.- Introspection, normality and agglomeration.- On the Expressivity ofFirst-Order Modal Logic with \Actually"".- Causal Models and the Ambiguityof Counterfactuals.- Tableaux for Single-Agent Epistemic PDL with PerfectRecall and No Miracles.- Formulating Semantics of Probabilistic Argumentationby Characterizing Subgraphs.- Algebraic Semantics for Dynamic Dynamic Logic.- Logicand Ethics. An Integrated Model for Norms, Intentions and Actions.- A GeneralFramework for Modal Correspondence in Dynamic Epistemic Logic.- IntuitionisticEpistemology and Modal Logics of Verification.- An argument for Permissivismfrom safespots.- Model Transformers for Dynamical Systems of Dynamic EpistemicLogic.- `Transitivity' of consequence relations.- Boolean Game with PrioritizedNorms.- Boolean Network Games and Iterated Boolean Games.- Symbolic ModelChecking for Dynamic Epistemic Logic.- Three-Valued Plurivaluationism of VaguePredicates.- A logic of knowing how.- A Dynamic Epistemic Logic with aKnowability Principle.- Reflective Oracles: A Foundation for Game Theory inArtificial Intelligence.- Infinite Ordinals and Finite Improvement.- Solvingthe Hi-Lo Puzzle.- Epistemic Updates on algebras.- On the Complexity ofInput/Output Logic.- Translating a Counterpart Theory into a Quantified ModalLanguage with Descriptors.