Search alternatives:
"epistemic logic" » "epidemic logic"
Cover Image
Read Now

41
Published 2001
Springer Netherlands
Table of Contents: “... Temporal Epistemic Logic -- The Dynamics of Default Reasoning -- Default Logic as Dynamic Doxastic Logic...”
Cover Image
Read Now

42
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open...”
Cover Image
Read Now

43
Published 2020
Springer International Publishing
Table of Contents: “... Equivalence and Epistemic Logic to Express Security Properties -- Derivation of Heard-Of Predicates From...”
Cover Image
Read Now

44
Published 2020
Springer International Publishing
Table of Contents: “... Logic -- Grounding Awareness on Belief Bases -- Ecumenical Modal Logic -- Inquisitive Dynamic Epistemic...”
Cover Image
Read Now

45
by Liu, Fenrong
Published 2011
Springer Netherlands
Table of Contents: “... Epistemic Logic -- Part III Preference over Worlds -- 3. Preference over Worlds: Static Logic -- 4...”
Cover Image
Read Now

46
by Eijck, J. van
Published 2009
Amsterdam University Press
Table of Contents: “... analysis? -- ch. 11: Dynamic epistemic logic for protocol analysis -- ch. 12: Battle of the logics -- ch...”
Cover Image
Read Now

47
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Maintenance in XML P2P Databases -- Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic...”
Cover Image
Read Now

48
Published 2003
Springer Netherlands
Table of Contents: “... -- The Archaeological Construction of the Past: Some Realist Moderations -- The Backward Induction Paradox and Epistemic...”
Cover Image
Read Now

49
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Agent Control -- Metareasoning for Multi-agent Epistemic Logics -- Graded BDI Models for Agent...”
Cover Image
Read Now

50
Published 2023
Springer International Publishing
“... such as dynamic semantics, logical dynamics, Dynamic Epistemic Logic, Discourse Representation Theory, formal...”
Cover Image
Read Now

51
Published 2015
Springer International Publishing
Table of Contents: “... in Leibniz’s Legal Theory; Matthias Armgardt -- Suspensive Condition & Dynamic Epistemic Logic; Sebastien...”
Cover Image
Read Now

52
Published 2020
Springer International Publishing
Table of Contents: “... JavaScript Agent Programming Library -- SAT for Epistemic Logic Using Belief Bases -- Jacamo-Web...”
Cover Image
Read Now

53
Published 2021
Springer International Publishing
Table of Contents: “... -- Incremental Refinement of Goal Models with Contracts -- Logic -- Proof Calculi for Epistemic Logics...”
Cover Image
Read Now

54
Published 1989
Springer Netherlands
“..., and epistemic logic), intensional logics, non­ declaratives, presuppositions, and many other topics...”
Cover Image
Read Now

55
Published 2023
Springer International Publishing
Table of Contents: “... Temporal Epistemic Logic...”
Cover Image
Read Now

56
Published 1996
Springer Netherlands
Table of Contents: “... Models in Physics -- III. Logical Semantics -- 8. World Lines and their Role in Epistemic Logic -- 9...”
Cover Image
Read Now

57
Published 1991
Springer London
Table of Contents: “... Multi-Agent Testbed: Developments and Experiments -- Interactions in Data/Knowledge Bases -- Epistemic...”
Cover Image
Read Now

58
Published 2004
Springer Netherlands
Table of Contents: “... Knowledge -- 25. Epistemic Logic -- 26. Knowledge and Art -- 27. Feminist Epistemology -- Index of Names...”
Cover Image
Read Now

59
Published 1994
Springer Netherlands
Table of Contents: “... Connections between Epistemic Logic and the Theory of Nonadditive Probability / Comments by Patrick Suppes...”
Cover Image
Read Now

60
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ?-Calculus Processes...”