scientific article
From MaRDI portal
Publication:3680260
zbMath0565.68025MaRDI QIDQ3680260
Rohit Parikh, Ramaswamy Ramanujam
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (40)
Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Logics of Rational Interaction ⋮ Compositional and symbolic synthesis of reactive controllers for multi-agent systems ⋮ Communication, consensus, and knowledge ⋮ PRIORITY MERGE AND INTERSECTION MODALITIES ⋮ Programming simultaneous actions using common knowledge ⋮ The complexity of reasoning about knowledge and time. I: Lower bounds ⋮ Topological reasoning and the logic of knowledge ⋮ Common knowledge and update in finite environments ⋮ Merging DEL and ETL ⋮ Automata for epistemic temporal logic with synchronous communication ⋮ Preface to the special issue: Temporal logics of agency ⋮ Logical omniscience ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Program semantics and verification technique for AI-centred programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Knowledge and common knowledge in a Byzantine environment: Crash failures ⋮ Keeping track of the latest gossip in a distributed system ⋮ The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms ⋮ On axiomatizations of public announcement logic ⋮ Comments to `Logics of public communications' ⋮ Some comments on history based structures ⋮ Concurrent common knowledge: Defining agreement for asynchronous systems ⋮ States of Knowledge ⋮ Synchronizing diachronic uncertainty ⋮ Revocable belief revision ⋮ The logic of knowledge based obligation ⋮ Levels of knowledge in distributed systems. ⋮ Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic ⋮ Intensional protocols for dynamic epistemic logic ⋮ Knowledge and Local Actions ⋮ Multi-agent Systems and Paraconsistent Knowledge ⋮ Modelling knowledge and action in distributed systems ⋮ Knowledge, Time, and Logical Omniscience ⋮ Introspective forgetting ⋮ Common knowledge revisited ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Asynchronous knowledge with hidden actions in the situation calculus ⋮ Knowledge in shared memory systems.
This page was built for publication:
