The following pages link to On an intuitionistic modal logic (Q1591340):
Displaying 36 items.
- Proof-theoretic semantics, a problem with negation and prospects for modality (Q266652) (← links)
- Abstract categorical semantics for resourceful functional reactive programming (Q338619) (← links)
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- An epistemic logic for becoming informed (Q833038) (← links)
- Light types for polynomial time computation in lambda calculus (Q1004289) (← links)
- Monad as modality (Q1392142) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Maehara-style modal nested calculi (Q1734264) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- Classical natural deduction for S4 modal logic (Q1758660) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
- Game semantics for constructive modal logic (Q2142094) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Intuitionistic conditional logics (Q2194118) (← links)
- Natural deduction bottom up (Q2236507) (← links)
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks (Q2258816) (← links)
- Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
- Toward a general frame semantics for modal many-valued logics (Q2317513) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- A framework for intuitionistic grammar logics (Q2695538) (← links)
- A Curry–Howard View of Basic Justification Logic (Q2820702) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- Label-free natural deduction systems for intuitionistic and classical modal logics (Q2901201) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- On the Semantics of Intensionality (Q2988392) (← links)
- Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming (Q3178285) (← links)
- A new S4 classical modal logic in natural deduction (Q3410675) (← links)
- (Q5089020) (← links)
- (Q5111322) (← links)
- (Q5119390) (← links)
- Normalization by evaluation for modal dependent type theory (Q6065506) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)
