scientific article; zbMATH DE number 795590
From MaRDI portal
Publication:4845472
zbMATH Open0839.68095MaRDI QIDQ4845472FDOQ4845472
Authors: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi 
Publication date: 11 September 1995
Title of this publication is not available (Why is that?)
Recommendations
multi-agent systemcommon knowledgeknowledgetemporal reasoningdistributed systemprogram specificationlogical omniscienceformal epistemologydistributed knowledgetemporal knowledgepossible-worlds model
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in artificial intelligence (68T01)
Cited In (only showing first 100 items - show all)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem
- A logic of intention and attempt
- Practical extraction of evidence terms from common-knowledge reasoning
- A poor man's epistemic logic based on propositional assignment and higher-order observation
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth
- John McCarthy's legacy
- McCarthy variations in a modal key
- Synchronizing diachronic uncertainty
- Implicit, explicit and speculative knowledge
- Local properties in modal logic
- Knowledge and communication: A first-order theory
- Formalizing sensing actions -- a transition function based approach
- Domain endurants. An analysis and description process model
- The Logic of Justification
- An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- Changing types: information dynamics for qualitative type spaces
- Unawareness with ``possible possible worlds
- Consensus game acceptors
- Non-circular proofs and proof realization in modal logic
- Taming the Complexity of Temporal Epistemic Reasoning
- Locally checkable proofs
- On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes
- Multi-modal nonmonotonic logics of minimal knowledge
- Knowledge-based programs
- A uniform theory of conditionals
- Exploring the tractability border in epistemic tasks
- On the factivity of implicit intersubjective knowledge
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity
- What will they say? -- Public announcement games
- A quantitative analysis of modal logic
- A model-theoretic analysis of knowledge
- Agreement theorems in dynamic-epistemic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logic for reasoning about ambiguity
- Multiagent belief revision
- Ockham's razor and reasoning about information flow
- Dynamic Epistemic Logic as a Substructural Logic
- Logic and social cognition. The facts matter, and so do computational models
- An internal version of epistemic logic
- A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
- Intricate axioms as interaction axioms
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- Fast and compact self stabilizing verification, computation, and fault detection of an MST
- Counterfactuals in ``agreeing to disagree type results
- On compositional reasoning about anonymity and privacy in epistemic logic
- Price of privacy
- Towards Syntactic Epistemic Logic
- Learning to apply theory of mind
- Knowledge forgetting: properties and applications
- Temporal Aspects of the Dynamics of Knowledge
- Agreeing to disagree: the non-probabilistic case
- Introspective forgetting
- Deductive Algorithmic Knowledge
- Paraconsistent dynamics
- Syntactic awareness in logical dynamics
- Inquisitive dynamic epistemic logic
- A minimal logic for interactive epistemology
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
- Manifest domains: analysis and description
- An epistemic logic with hypotheses
- Public announcement logic with distributed knowledge
- Merging DEL and ETL
- Logic for update products and steps into the past
- Two logical faces of belief revision
- Some computational constraints in epistemic logic
- Awareness dynamics
- Title not available (Why is that?)
- Reasoning about knowledge of unawareness
- Modeling belief in dynamic systems. I: Foundations
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
- Infinite games with finite knowledge gaps
- Non-primitive recursive decidability of products of modal logics with expanding domains
- A logic of goal-directed knowing how
- Representability in second-order propositional poly-modal logic
- Explanation in artificial intelligence: insights from the social sciences
- Using knowledge to optimally achieve coordination in distributed systems
- Towards an awareness-based semantics for security protocol analysis
- Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
- Rationalizing epistemic bounded rationality
- A knowledge-theoretic analysis of uniform distributed coordination and failure detectors
- A new proof of completeness for a relative modal logic with composition and intersection
- Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
- A sketch of a dynamic epistemic semiring
- Model theoretical aspects of weakly aggregative modal logic
- Two-dimensional awareness logics
- Strategic knowledge sharing in Bayesian games
- Finite identification from the viewpoint of epistemic update
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
- Multimodal logic programming
- Probabilistic unawareness
- Distributed games
- Syntactic cut-elimination for common knowledge
- Epistemic properties of knowledge hierarchies
- A Logic of Knowing How
- Dynamic epistemic logics
- Optimal-time adaptive strong renaming, with applications to counting
- Reasoning about common knowledge with infinitely many agents
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4845472)
