The following pages link to (Q4785506):
Displayed 27 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)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← 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)
- Categories for Dynamic Epistemic Logic (Q3384079) (← links)
- Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt> (Q4691186) (← links)
- Constructive Game Logic (Q5041088) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- (Q5863853) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic (Q6067750) (← links)
- Deriving dualities in pointfree topology from Priestley duality (Q6094273) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)