The following pages link to (Q3917484):
Displaying 4 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Process logic: Expressiveness, decidability, completeness (Q1168965) (← links)
- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC (Q3512441) (← links)
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts (Q3638294) (← links)
