scientific article; zbMATH DE number 2149446
From MaRDI portal
Publication:4661971
zbMath1060.03008MaRDI QIDQ4661971
Moshe Y. Vardi, Ronald Fagin, Joseph Y. Halpern, Yoram Moses
Publication date: 30 March 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)
Related Items (26)
Formalising privacy policies in social networks ⋮ Mutual exclusion as a matter of priority ⋮ On an MCS-based inconsistency measure ⋮ Knowledge-based strategies for multi-agent teams playing against nature ⋮ Value versus damage of information release: a data privacy perspective ⋮ A datalog-based computational model for coordination-free, data-parallel systems ⋮ Formalizing common belief with no underlying assumption on individual beliefs ⋮ Rethinking formal models of partially observable multiagent decision making ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ Reasoning about knowledge and conditional probability ⋮ No double discount: condition-based simultaneity yields limited gain ⋮ Choice structures in games ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ Unnamed Item ⋮ Conditional \(p\)-adic probability logic ⋮ Borderline vs. unknown: comparing three-valued representations of imperfect information ⋮ Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Epistemic protocols for dynamic gossip ⋮ A sequent calculus for logic of knowledge and past time: completeness and decidability ⋮ Single-bit messages are insufficient for data link over duplicating channels ⋮ Statistical reasoning with set-valued information: ontic vs. epistemic views ⋮ Common Knowledge and the Knowledge Account of Assertion ⋮ Computation in a distributed information market ⋮ Parameterised verification for multi-agent systems ⋮ A simple logic for reasoning about incomplete knowledge ⋮ Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
This page was built for publication:
