Pages that link to "Item:Q2904070"
From MaRDI portal
The following pages link to A complete proof system for a dynamic epistemic logic based upon finite \(\pi\)-calculus processes (Q2904070):
Displaying 5 items.
- Dynamic epistemic logic with communication actions (Q2333668) (← links)
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes (Q2825420) (← links)
- A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus (Q3185762) (← links)
- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes (Q3582736) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
