scientific article; zbMATH DE number 795590
From MaRDI portal
Publication:4845472
zbMath0839.68095MaRDI QIDQ4845472
Yoram Moses, Moshe Y. Vardi, Joseph Y. Halpern, Ronald Fagin
Publication date: 11 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program specificationknowledgemulti-agent systemdistributed systemtemporal reasoningformal epistemologycommon knowledgelogical omnisciencedistributed knowledgetemporal knowledgepossible-worlds model
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) General topics in artificial intelligence (68T01)
Related Items (only showing first 100 items - show all)
Unnamed Item ⋮ Consensus Game Acceptors ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ Probabilistic Common Knowledge Among Infinite Number of Agents ⋮ Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference ⋮ Justifications, Awareness and Epistemic Dynamics ⋮ A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation ⋮ Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles ⋮ Model Transformers for Dynamical Systems of Dynamic Epistemic Logic ⋮ A Logic of Knowing How ⋮ Symbolic Model Checking for Alternating Projection Temporal Logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A quantitative analysis of modal logic ⋮ Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking ⋮ Intentions and potential intentions revisited ⋮ Representing any-time and program-iteration by infinitary conjunction ⋮ Variants of multi-relational semantics for propositional non-normal modal logics ⋮ Inquirers: A general model of non-ideal rational agents ⋮ Substructural epistemic logics ⋮ A new framework for justification logic ⋮ Knowledge means ‘all’, belief means ‘most’ ⋮ Unification in epistemic logics ⋮ On the relation between possibilistic logic and modal logics of belief and knowledge ⋮ Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap ⋮ THE E-MAIL GAME REVISITED — MODELING ROUGH INDUCTIVE REASONING ⋮ Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL ⋮ The Secret Santa Problem ⋮ From DEL to EDL: Exploring the Power of Converse Events ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Justification Logic ⋮ 2007 Annual Meeting of the Association for Symbolic Logic ⋮ Unnamed Item ⋮ Continuous Consensus with Failures and Recoveries ⋮ Modal logics with relative accessibility relations ⋮ A resolution-based proof method for temporal logics of knowledge and belief ⋮ Ideal and real belief about belief ⋮ Consensus Game Acceptors and Iterated Transductions ⋮ Doxastic logic: a new approach ⋮ 2002–2003 Winter Meeting of the Association for Symbolic Logic ⋮ Common Knowledge Logic in a Higher Order Proof Assistant ⋮ A Hybrid Public Announcement Logic with Distributed Knowledge ⋮ Tracking Evidence ⋮ A LOGIC OF JUSTIFICATION AND TRUTHMAKING ⋮ Knowledge Based Scheduling of Distributed Systems ⋮ Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions ⋮ Iterated Belief Revision in the Face of Uncertain Communication ⋮ Decisions, Actions, and Games: A Logical Perspective ⋮ Proof Theory for Distributed Knowledge ⋮ A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems ⋮ Beliefs supported by binary arguments ⋮ Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic ⋮ Decidable Extensions of Hennessy-Milner Logic ⋮ Towards Modal Logic Formalization of Role-Based Access Control with Object Classes ⋮ Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic ⋮ Model Checking Strategic Equilibria ⋮ PDL with intersection and converse: satisfiability and infinite-state model checking ⋮ A new proof of completeness for a relative modal logic with composition and intersection ⋮ Multi-agent Systems and Paraconsistent Knowledge ⋮ Rule-Based Reasoning with Belief Structures ⋮ Epistemic models of shallow depths and decision making in games: Horticulture ⋮ A Simple Modal Logic for Reasoning about Revealed Beliefs ⋮ A Logic for Complete Information Systems ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment ⋮ Knowledge, Time, and Logical Omniscience ⋮ Easy Yet Hard: Model Checking Strategies of Agents ⋮ Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall ⋮ PDL with intersection of programs: a complete axiomatization ⋮ Decidability: theorems and admissible rules ⋮ Aximo: Automated Axiomatic Reasoning for Information Update ⋮ Syntactic Cut-elimination for Common Knowledge ⋮ Two Logical Faces of Belief Revision ⋮ Bayesian Evidence Accumulation on Social Networks ⋮ A Logical Splitting Strategy for the Belief Structure of Agents ⋮ Tableaux for logics of time and knowledge with interactions relating to synchrony ⋮ PDL with negation of atomic programs ⋮ A model for updates in a multi-agent setting ⋮ A logical characterisation of qualitative coalitional games ⋮ Axiomatization and Completeness of Lexicographic Products of Modal Logics ⋮ Taming the Complexity of Temporal Epistemic Reasoning ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 ⋮ The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language ⋮ A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief ⋮ Complete Axiomatization of a Relative Modal Logic with Composition and Intersection ⋮ On axiomatising products of Kripke frames ⋮ Representability in second-order propositional poly-modal logic
This page was built for publication:
