The following pages link to (Q4325792):
Displayed 6 items.
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- Partial up an down logic (Q1903583) (← links)
- Probability, coherent belief and coherent belief changes (Q2294585) (← links)
- Reasoning About Belief Revision (Q2912142) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- Contraction, Revision, Expansion: Representing Belief Change Operations (Q4982655) (← links)