On an intuitionistic modal logic
From MaRDI portal
Publication:1591340
Recommendations
Cited in
(78)- Light types for polynomial time computation in lambda calculus
- Monad as modality
- On the geometry of intuitionistic S4 proofs
- A proof-theoretic investigation of a logic of positions
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Maehara-style modal nested calculi
- Fibrational modal type theory
- Classical natural deduction for S4 modal logic
- A proof-theoretic approach to negative translations in intuitionistic tense logics
- Oskar Becker and the modal translation of intuitionistic logic
- Modality via iterated enrichment
- Nested sequents for intuitionistic modal logics via structural refinement
- Game semantics for constructive modal logic
- What is a relevant connective?
- Intuitionistic conditional logics
- Natural deduction bottom up
- One-step modal logics, intuitionistic and classical. I
- Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
- Autoepistemic equilibrium logic and epistemic specifications
- Toward a general frame semantics for modal many-valued logics
- Uniform interpolation and the existence of sequent calculi
- Leo Esakia on duality in modal and intuitionistic logics
- A general method for proving decidability of intuitionistic modal logics
- Proof-theoretic semantics, a problem with negation and prospects for modality
- A framework for intuitionistic grammar logics
- A judgmental reconstruction of modal logic
- A Curry-Howard view of basic justification logic
- Comonadic notions of computation
- Label-free natural deduction systems for intuitionistic and classical modal logics
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- On the semantics of intensionality
- Label-free proof systems for intuitionistic modal logic IS5
- Towards a common categorical semantics for linear-time temporal logic and functional reactive programming
- scientific article; zbMATH DE number 3865242 (Why is no real title available?)
- Abstract categorical semantics for resourceful functional reactive programming
- A new S4 classical modal logic in natural deduction
- scientific article; zbMATH DE number 5295726 (Why is no real title available?)
- Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
- scientific article; zbMATH DE number 3896902 (Why is no real title available?)
- scientific article; zbMATH DE number 3941511 (Why is no real title available?)
- scientific article; zbMATH DE number 3957057 (Why is no real title available?)
- scientific article; zbMATH DE number 727674 (Why is no real title available?)
- scientific article; zbMATH DE number 2064301 (Why is no real title available?)
- On an intuitionistic logic for pragmatics
- scientific article; zbMATH DE number 2149469 (Why is no real title available?)
- scientific article; zbMATH DE number 1848312 (Why is no real title available?)
- Categorical and algebraic aspects of the intuitionistic modal logic \(\mathrm{IEL}^{\text{--}}\) and its predicate extensions
- Modal embeddings and calling paradigms
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
- scientific article; zbMATH DE number 7204444 (Why is no real title available?)
- Dual-context calculi for modal logic
- Multimodal dependent type theory
- Modal dependent type theory and dependent right adjoints
- Constructive modalities with provability smack
- Modalities as interactions between the classical and the intuitionistic logics
- scientific article; zbMATH DE number 5235522 (Why is no real title available?)
- scientific article; zbMATH DE number 5241978 (Why is no real title available?)
- scientific article; zbMATH DE number 7668093 (Why is no real title available?)
- scientific article; zbMATH DE number 7668111 (Why is no real title available?)
- A dual-context sequent calculus for the constructive modal logic S4
- On congruence modularity in varieties of logic.
- Normalization by evaluation for modal dependent type theory
- When programs have to watch paint dry
- Thirty years of Epistemic Specifications
- Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
- Realising intensional S4 and GL modalities
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- Bilateral inversion principles
- A categorical normalization proof for the modal lambda-calculus
- Justification logic for intuitionistic modal logic
- Constructive modal logics: bi-nested calculi and bi-relational countermodels
- Intuitionistic \textsf{S4} as a logic of topological spaces
- Simple sequent systems for the modal logics K, D, T, and S4
- The quantum monadology
- Handling mobility failures by modal types
- Playing with modalities (invited talk)
- Intuitionistic non-normal modal logics: a general framework
- An epistemic logic for becoming informed
This page was built for publication: On an intuitionistic modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1591340)
