On an intuitionistic modal logic
From MaRDI portal
Publication:1591340
DOI10.1023/A:1005291931660zbMath0963.03033OpenAlexW1678412398MaRDI QIDQ1591340
V. C. V. de Paiva, G. M. Bierman
Publication date: 19 December 2000
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005291931660
proof theorycategorical modelsintuitionist logicintuitionistic variant of modal logic S4natural deduction formulation
Related Items
Proof-theoretic semantics, a problem with negation and prospects for modality, A dual-context sequent calculus for the constructive modal logic S4, Intuitionistic non-normal modal logics: a general framework, An epistemic logic for becoming informed, Modality via iterated enrichment, Label-free natural deduction systems for intuitionistic and classical modal logics, Nested sequents for intuitionistic modal logics via structural refinement, Game semantics for constructive modal logic, Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming, What is a relevant connective?, Abstract categorical semantics for resourceful functional reactive programming, Monad as modality, 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, Intuitionistic conditional logics, A proof-theoretic investigation of a logic of positions, Order-dual relational semantics for non-distributive propositional logics: a general framework, A framework for intuitionistic grammar logics, The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types, On the Semantics of Intensionality, Maehara-style modal nested calculi, Natural deduction bottom up, Fibrational modal type theory, Classical natural deduction for S4 modal logic, Hybrid-logical reasoning in the Smarties and Sally-Anne tasks, Unnamed Item, A general method for proving decidability of intuitionistic modal logics, Light types for polynomial time computation in lambda calculus, Unnamed Item, Unnamed Item, Modal dependent type theory and dependent right adjoints, A Curry–Howard View of Basic Justification Logic, Autoepistemic equilibrium logic and epistemic specifications, Toward a general frame semantics for modal many-valued logics, A new S4 classical modal logic in natural deduction, Uniform interpolation and the existence of sequent calculi, A proof-theoretic approach to negative translations in intuitionistic tense logics, Unnamed Item, Constructive Modalities with Provability Smack, Comonadic Notions of Computation
