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)
- Title not available (Why is that?)
- Preferential reasoning for modal logics
- Reasoning about knowledge and probability
- Reasoning About Strategies
- CoCon: a conference management system with formally verified document confidentiality
- Epistemic logic without closure
- Knowledge and common knowledge in a distributed environment
- The problem of rational knowledge
- Logics of informational interactions
- Cut-free common knowledge
- Logic and Game Theory
- Deduction chains for common knowledge
- PLQP \& Company: decidable logics for quantum algorithms
- Natural language and logic of agency
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
- Correlated knowledge: an epistemic-logic view on quantum entanglement
- Mechanising first-order temporal resolution
- Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)
- Generalized probabilism: Dutch books and accuracy domination
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
- Bounded model checking for knowledge and real time
- Strong planning under partial observability
- On the dynamics of institutional agreements
- Keep `hoping' for rationality: a solution to the backward induction paradox
- Distributed graph coloring in a few rounds
- Doxastic logic: a new approach
- A compositional automata-based approach for model checking multi-agent systems
- Time-efficient randomized multiple-message broadcast in radio networks
- \({\mathcal E}\)-connections of abstract description systems
- Knowledge, action, and the frame problem
- A computationally grounded, weighted doxastic logic
- Checking EMTLK properties of timed interpreted systems via bounded model checking
- The undecidability of quantified announcements
- Alternative semantics for unawareness
- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
- Syntactic foundations for unawareness of theorems
- Products of ‘transitive” modal logics
- Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda
- EXPtime tableaux for ALC
- Cut-free sequent systems for temporal logic
- Refinement modal logic
- On axiomatizations of public announcement logic
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- Dynamic reasoning with qualified syllogisms
- Information structures with unawareness
- Epistemic planning for single- and multi-agent systems
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- A decidable temporal logic of parallelism
- Robot location estimation in the situation calculus
- Conformant plans and beyond: principles and complexity
- Strong belief and forward induction reasoning.
- Formalized soundness and completeness of epistemic logic
- The logic of knowledge based obligation
- Intuitionistic common knowledge or belief
- Autoepistemic answer set programming
- Continuous consensus via common knowledge
- Reasoning about collectively accepted group beliefs
- Specification and Verification of Multi-Agent Systems
- On indepedence for non-additive measures, with a Fubini theorem
- On a graph calculus for modalities
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- Abstraction for model checking multi-agent systems
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- Group knowledge is not always distributed (neither is it always implicit)
- Belief closure: A semantics of common knowledge for modal propositional logic
- Coordinated action in the electronic mail game
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Towards a theory of intention revision
- A canonical model for interactive unawareness
- Interactive unawareness revisited
- Justification Logic
- Asynchronous knowledge with hidden actions in the situation calculus
- On the Expressiveness of Temporal Equilibrium Logic
- Specifying and reasoning about uncertain agents
- The round complexity of distributed sorting
- Hierarchies of beliefs for compact possibility models
- Action and knowledge in alternating-time temporal logic
- About cut elimination for logics of common knowledge
- Fault-tolerant spanners
- Rethinking epistemic logic with belief bases
- Common knowledge logic in a higher order proof assistant
- An Epistemic Separation Logic
- Information dynamics and uniform substitution
- Hidden protocols: modifying our expectations in an evolving world
- Decidable fragments of first-order temporal logics
- PDL with intersection of programs: a complete axiomatization
- Logics of communication and change
- Modal-epistemic arithmetic and the problem of quantifying in
- Automatic data-abstraction in model checking multi-agent systems
- How much does it help to know what she knows you know? An agent-based simulation study
- 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
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)
