Pages that link to "Item:Q5255796"
From MaRDI portal
The following pages link to Constructive Modalities with Provability Smack (Q5255796):
Displayed 11 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
- The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- Modal Logics that Bound the Circumference of Transitive Frames (Q5015972) (← links)
- (Q5111325) (← links)
- (Q5119390) (← links)