Knowledge WOJCIECH PENCZEK, Institute of Computer Science PAS, 01-237 Warsaw, ...  Home/Search
Context
Related
| ipipan.waw.pl/~penczek/W...igpl00.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ipipan.waw.pl/~pencze...allpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Temporal logic of causal knowledge over general partially ordered structures of local states is de ned. The de nition of knowledge captures the change of state due to action executions. The structures are a variant of ow event structures including prime event structures and branching processes of Petri Nets. Modalities corresponding to the causality, concurrency, and indistinguishability relations are used. Formulas are interpreted over local state occurrences. The logic is proved to be... (Update)
Similar documents (at the sentence level):
12.6%: A Local Approach to Modal Logic for Multi-Agent Systems - Penczek (2001) (Correct)
12.0%: Temporal Logic of Causal Knowledge - Penczek (1998) (Correct)
Active bibliography (related documents): More All
1.4: Temporal Approach to Causal Knowledge - Penczek (2000) (Correct)
0.4: Efficient Model Checking of Causal-Knowledge Protocols - Penczek (Correct)
0.3: Model Checking of Causal Knowledge Formulas - Penczek, Ambroszkiewicz (1999) (Correct)
Similar documents based on text: More All
0.5: Cooperation Mechanisms in a Multi-Agent Distributed.. - Ambroszkiewicz, Matyja, .. (1998) (Correct)
0.5: Model-Checking for a Subclass of Event Structures - Wojciech Penczek Institute (Correct)
0.5: Bounded Model Checking for the Universal Fragment of CTL - Penczek, al. (2002) (Correct)
BibTeX entry: (Update)
@misc{ penczek-temporal,
author = "Knowledge Wojciech Penczek",
title = "Temporal Approach to Causal",
url = "citeseer.ist.psu.edu/716832.html" }
Citations (may not include all citations):604 Reasoning about knowledge (context) - Fagin, Halpern et al. - 1995
264 Knowledge and Common Knowledge in a Distributed Environment - Halpern, Moses - 1990
139 An Introduction to Event Structures (context) - Winskel - 1989
123 A companion to modal logic (context) - Hughes, Cresswell - 1984
103 An improvement of McMillan's unfolding algorithm - Esparza, Romer et al. - 1996
85 Modelling rational agents within a BDI{architecture (context) - Rao, George - 1991
84 Decision Procedures and Expressiveness in the Temporal Logic.. (context) - Emerson, Halpern - 1982
49 Temporal logic for communicating sequential agents (context) - Lodaya, Ramanujam et al. - 1992
44 Modelling knowledge and action in distributed systems - Halpern, Fagin - 1989
41 Transformations and Semantics for LOTOS (context) - Langerak - 1992
33 Permutations of transitions: an event structure semantics fo.. (context) - Boudol, Castellani - 1989
31 A logical study of distributed transition systems - Lodaya, Parikh et al. - 1995
28 The logic of distributed protocols (context) - Ladner, Reif - 1986
28 Partial Order Reduction: Linear and Branching Temporal Logic.. (context) - Peled - 1996
25 Local knowledge assertions in a changing world (context) - Ramanujam - 1996
15 Model checking for a Subclass of Event Structures - Penczek - 1997
14 Keeping track of the latest gossip: Bounded time-stamps suce (context) - Mukund, Sohoni - 1993
10 An Axiomatization of Well Branching Prime Event Structures (context) - Mukund, Thiagarajan - 1992
6 Model checking of local knowledge formulas (context) - Penczek, Ambroszkiewicz - 1999
3 Vardi Knowledge-based programs (context) - Fagin, Halpern et al. - 1997
2 A Temporal Logic for the Local Speci cation of Concurrent Sy.. (context) - Penczek - 1989
1 Asynchronous Automata for In nite Traces (context) - Gastin, Petit - 1992
Documents on the same site (http://www.ipipan.waw.pl/~penczek/WPenczek/allpapers.html): More
Model Checking for Modal Logics (Extended Abstract) - Penczek (2001) (Correct)
Towards Formal Specification and Verification in Cyberspace - Ambroszkiewicz, Penczek.. (2000) (Correct)
A Complete Axiomatization of a First-Order Temporal Logic.. - Penczek, Srebrny (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC