The following pages link to (Q4785506):
Displayed 18 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)
- Maehara-style modal nested calculi (Q1734264) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- Intuitionistic conditional logics (Q2194118) (← 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)
- Game Semantics for Access Control (Q2805155) (← links)
- Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming (Q3178285) (← links)
- Embedding Constructive K into Intuitionistic K (Q3185769) (← links)
- Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt> (Q4691186) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)