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)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography
- Resilience of mutual exclusion algorithms to transient memory faults
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
- A public announcement separation logic
- A hybrid logic for reasoning about knowledge and topology
- Quantified temporal alethic boulesic doxastic logic
- Rosenkranz's logic of justification and unprovability
- Some forms of collectively bringing about or `seeing to it that'
- A positive information logic for inferential information
- Reasoning about data and information. Abstraction between states and commodities
- Model Checking Information Flow in Reactive Systems
- Adaptively secure broadcast, revisited
- Belief ascription under bounded resources
- Relating truth, knowledge and belief in epistemic states
- Epistemic Strategies and Games on Concurrent Processes
- A model for updates in a multi-agent setting
- Strong completeness theorems for weak logics of common belief
- Intentions and potential intentions revisited
- Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
- Common knowledge does not have the Beth property
- Introspective unawareness and observable choice
- Verifying time, memory and communication bounds in systems of reasoning agents
- Sub-models for interactive unawareness
- Epistemic models of shallow depths and decision making in games: Horticulture
- Representations and solutions for game-theoretic problems
- The dynamics of epistemic attitudes in resource-bounded agents
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Connectionist modal logic: representing modalities in neural networks
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interactions between knowledge, action and commitment within agent dynamic logic
- Title not available (Why is that?)
- On the unusual effectiveness of logic in computer science
- Security invariants in discrete transition systems
- On the nonexistence of universal information structures
- Structuring unreliable radio networks
- Semantical considerations on multiagent only knowing
- A history based approximate epistemic action theory for efficient postdictive reasoning
- Possibilistic reasoning with partially ordered beliefs
- Decidability of logics based on an indeterministic metric tense logic
- Relativized common knowledge for dynamic epistemic logic
- A logical characterisation of qualitative coalitional games
- A computer scientist looks at game theory.
- Comments to `Logics of public communications'
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- A general approach to multi-agent minimal knowledge: With tools and samples
- A Dynamic Logic of Interrogative Inquiry
- Parameterized modal satisfiability
- Knowledge means ‘all’, belief means ‘most’
- Unification in epistemic logics
- Title not available (Why is that?)
- Continuous Consensus with Failures and Recoveries
- Backtracking games and inflationary fixed points
- Reprint of: Reasoning about knowledge of unawareness revisited
- A logic for reasoning about knowledge of unawareness
- Title not available (Why is that?)
- 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
- 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
- Some Computational Constraints in Epistemic Logic
- 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
- An Epistemic Logic with Hypotheses
- Public Announcement Logic with Distributed Knowledge
- Unawareness with ``possible possible worlds
- 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
- A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
- Two Logical Faces of Belief Revision
- Consensus Game Acceptors
- 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
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)
