The following pages link to (Q3919674):
Displaying 14 items.
- Constructive modal logics. I (Q750417) (← links)
- Determinism and looping in combinatory PDL (Q921968) (← links)
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas (Q1589838) (← links)
- Semantical analysis of constructive PDL (Q1835666) (← links)
- A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
- Tableaux for constructive concurrent dynamic logic (Q2488268) (← links)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- A formalization of Sambins's normalization for GL (Q4304806) (← links)
- (Q4989394) (← links)
- Propositional Dynamic Logic with Program Quantifiers (Q5415640) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
