scientific article; zbMATH DE number 795590

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

• Knowledge and common knowledge in a distributed environment
• scientific article; zbMATH DE number 67445
• Common knowledge and update in finite environments
• What can machines know?
• scientific article; zbMATH DE number 1547706

zbMATH Keywords

multi-agent systemcommon knowledgeknowledgetemporal reasoningdistributed systemprogram specificationlogical omniscienceformal epistemologydistributed knowledgetemporal knowledgepossible-worlds model

Mathematics Subject Classification ID

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)

• 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
• 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
• Intensional protocols for dynamic epistemic logic
• Automata for epistemic temporal logic with synchronous communication
• Preface to the special issue: Temporal logics of agency
• The situation calculus: a case for modal logic
• Dynamic logics of knowledge and access
• The fragility of common knowledge
• On logics of group belief in structured coalitions
• Agreement theorems for self-locating belief
• Knowledge based scheduling of distributed systems
• Refinement of Kripke Models for Dynamics
• The absent-minded driver's paradox: Synthesis and responses
• To know or not to know: Epistemic approaches to security protocol verification
• \(\in_K\): a non-Fregean logic of explicit knowledge
• Reasoning about permitted announcements
• Towards reasoning about Petri nets: a propositional dynamic logic based approach
• Logical theories of intention and the database perspective
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
• Substantive assumptions in interaction: a logical perspective
• Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
• Logics of rational interaction
• Knowing the price of success
• Verification of multi-agent systems with public actions against strategy logic
• Extending probabilistic dynamic epistemic logic
• From knowledge-based programs to graded belief-based programs. I: On-line reasoning
• On combinations of propositional dynamic logic and doxastic modal logics
• Multiagent temporal logics with multivaluations
• Where logic and agents meet
• A knowledge-based analysis of global function computation
• Some remarks on the proof-theory and the semantics of infinitary modal logic
• Title not available (Why is that?)
• Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING
• Practical verification of multi-agent systems against \textsc{Slk} specifications
• Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
• Some comments on history based structures
• Title not available (Why is that?)
• Together we know how to achieve: an epistemic logic of know-how
• Epistemic reasoning about rationality and bids in auctions
• Propositional dynamic logic with quantification over regular computation sequences
• Faster information dissemination in dynamic networks via network coding
• Tight bounds on information dissemination in sparse mobile networks
• Together we know how to achieve: an epistemic logic of know-how (extended abstract)
• 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
• A simplicial complex model for dynamic epistemic logic to study distributed task computability
• 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
• On the unusual effectiveness of logic in computer science

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)