Temporal approach to causal knowledge

DOI10.1093/JIGPAL/8.1.87MaRDI QIDQ4444911zbMATH OpenOpenAlexFDO

Authors Wojciech Penczek

Publication date 28 January 2004

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/8.1.87

zbMATH Keywords

branching processescausal knowledgecausalityconcurrencydecidabilityevent structuresmulti-agent systemsPetri netstemporal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1497792
• Complete Axiomatizations for Reasoning about Knowledge and Time
• scientific article; zbMATH DE number 4085006
• Logics of temporal-epistemic actions
• scientific article; zbMATH DE number 4119658

Cited in

(9)

• Temporal causal abduction
• A generalized modal logic in causal structures
• Knowledge = observation + memory + computation
• scientific article; zbMATH DE number 1292307 (Why is no real title available?)
• scientific article; zbMATH DE number 1094758 (Why is no real title available?)
• scientific article; zbMATH DE number 1761426 (Why is no real title available?)
• Worlds of events: deduction with partial knowledge about causality
• Temporal Aspects of the Dynamics of Knowledge
• Causal measurability in chronological spaces

This page was built for publication: Temporal approach to causal knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4444911)