scientific article; zbMATH DE number 795590
From MaRDI portal
Publication:4845472
zbMATH Open0839.68095MaRDI QIDQ4845472FDOQ4845472
Yoram Moses, Moshe Y. Vardi, Joseph Y. Halpern, Ronald Fagin
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
- Autonomous agents coordination: Action languages meet CLP() and Linda
- 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
- Automatic Data-Abstraction in Model Checking Multi-Agent Systems
- \({\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
- 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
- Common Knowledge Logic in a Higher Order Proof Assistant
- 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
- 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
- How much does it help to know what she knows you know? An agent-based simulation study
- 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
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)
