The following pages link to (Q4785506):
Displayed 9 items.
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- Modes of adjointness (Q484110) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Connectionist computations of intuitionistic reasoning (Q2503271) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)