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 based on text: More All
0.7: Temporal Approach to Causal Knowledge - Penczek (2000) (Correct)
0.7: Temporal Logic of Causal Knowledge - Penczek (1998) (Correct)
0.7: Model Checking of Causal Knowledge Formulas - Penczek, Ambroszkiewicz (1999) (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
[Article contains additional citations not shown here]
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