Skip to main navigation
Skip to search
Skip to main content
Western Sydney University Home
Research Profiles Login
Link opens in a new tab
Search content at Western Sydney University
Home
Profiles
Research outputs
Projects
Datasets
HDR theses
Activities
Press/Media
Prizes
Subjects
Research units
Postdiction problems in dynamic logic
Samir Chopra
,
Dongmo Zhang
University of New South Wales
Research output
:
Chapter in Book / Conference Paper
›
Conference Paper
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Postdiction problems in dynamic logic'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Reasoning about Action
100%
Postdiction
100%
Temporal Logic
50%
Qualification Problem
50%
Ramification Problem
50%
Proof
50%
Temporal Projection
50%