Connect to this title online (unlimited users allowed)

“…Range of epistemic logic…”

Subjects: Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)

Subjects: “…Epistemic logic. http://id.loc.gov/authorities/subjects/sh2011005274…”
Connect to this title online (unlimited users allowed)

Subjects: Connect to this title online (unlimited users allowed)

Table of Contents: Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)

Table of Contents: “…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.…”
Connect to this title online

Table of Contents: “…Relating Kleene Algebras with Pseudo Uninorms -- 1 Introduction -- 2 Preliminaries -- 3 Some New Results and Construction on Pseudo Uninorms -- 3.1 Annihilators of Pseudo Uninorms -- 3.2 Idempotency -- 3.3 Join Morphism -- 4 Kleene Algebras Based on Pseudo Uninorms -- 4.1 Automorphisms on [0,1] Acting on Kleene Algebras -- 5 Final Remarks -- References -- Dynamic Epistemic Logic for Budget-Constrained Agents -- 1 Introduction -- 2 Epistemic Logic for Budget-Constrained Agents -- 2.1 Syntax -- 2.2 Semantics -- 2.3 Soundness and Completeness…”
Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)

Table of Contents: “…- Sum and Product -- Two Envelopes -- One Hundred Prisoners and a Light Bulb -- Gossip -- Cluedo -- Overview Dynamic Epistemic Logic -- Answers.…”
Connect to this title online

Table of Contents: “…II -- On Incorporating Reasoning Time into Epistemic Logic -- Proof-theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi -- Varieties of Parthood -- Infinite “Atomic” Mereological Structures.…”
Connect to this title online

Table of Contents: “…-- ch. 11: Dynamic epistemic logic for protocol analysis -- ch. 12: Battle of the logics -- ch. 13: Eating from the tree of ignorance -- ch. 14: On collective rational action -- ch. 15: Social software and the ills of society.…”
Connect to this title online (unlimited users allowed)

Table of Contents: “…Leibniz, Law and Logic -- Presumptions and Conjectures in Leibniz’s Legal Theory; Matthias Armgardt -- Suspensive Condition & Dynamic Epistemic Logic; Sebastien Magnier -- The Rhetor’s Dilemma: Leibniz’s Approach to an Ancient Case; Bettine Jankowski -- Part 3. …”
Connect to this title online

Connect to this title online

Connect to this title online