On the public citation graph

On modal logic with an intuitionistic base

https://doi.org/10.1007/bf02121259
0 signed · 107 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1016/s0049-237x(08)71680-xopenalex-snapshot
Some Modal Calculi Based On IC
inferredcites →https://doi.org/10.1111/j.1755-2567.1969.tb00372.xopenalex-snapshot
Logics With Several Modal Operators
inferredcites →https://doi.org/10.1305/ndjfl/1093958154openalex-snapshot
A modal extension of intuitionist logic.
inferredcites →https://doi.org/10.2307/2269696openalex-snapshot
MIPC as the formalisation of an intuitionist concept of modality
inferredcites →https://doi.org/10.2307/2269810openalex-snapshot
Algebraic semantics for modal logics II
inferredcites →https://doi.org/10.2307/2270619openalex-snapshot
Algebraic semantics for modal logics I

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/malq.19990450402openalex-snapshot
On the Finite Model Property of Intuitionistic Modal Logics over MIPC
inferred← citeshttps://doi.org/10.1002/malq.200310023openalex-snapshot
Preservativity logic: An analogue of interpretability logic for constructive theories
inferred← citeshttps://doi.org/10.1007/3-540-61208-4_4openalex-snapshot
Almost duplication-free tableau calculi for prepositional lax logics
inferred← citeshttps://doi.org/10.1007/978-1-4020-9374-6_10openalex-snapshot
Implicit Versus Explicit Knowledge in Dialogical Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-53654-1_7openalex-snapshot
Implication via Spacetime
inferred← citeshttps://doi.org/10.1007/978-3-031-07707-4_1openalex-snapshot
Decidability for $$\mathsf S4$$ Gödel Modal Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-43513-3_16openalex-snapshot
On Intuitionistic Diamonds (and Lack Thereof)
inferred← citeshttps://doi.org/10.1007/978-3-031-43513-3_5openalex-snapshot
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised
inferred← citeshttps://doi.org/10.1007/978-3-031-47921-2_8openalex-snapshot
Proof Theory for Lax Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-63501-4_5openalex-snapshot
Local Intuitionistic Modal Logics and Their Calculi
inferred← citeshttps://doi.org/10.1007/978-3-032-06085-3_21openalex-snapshot
Justification Logic for Intuitionistic Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-22817-8_12openalex-snapshot
An Intuitionistic Version of Computation Tree Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-32589-1_22openalex-snapshot
Uniform Interpolation with Constructive Diamond
inferred← citeshttps://doi.org/10.1007/978-3-319-04156-8_9openalex-snapshot
Weak Monoidal DB Topos
inferred← citeshttps://doi.org/10.1007/978-3-540-72734-7_12openalex-snapshot
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-40564-8_30openalex-snapshot
Combining Equilibrium Logic and Dynamic Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-0349-4_1openalex-snapshot
An Overview of Fibred Semantics and the Combination of Logics
inferred← citeshttps://doi.org/10.1007/978-94-009-6259-0_1openalex-snapshot
Basic Modal Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-8937-5_5openalex-snapshot
Semantics for a Class of Intuitionistic Modal Calculi
inferred← citeshttps://doi.org/10.1007/978-94-017-0454-0_1openalex-snapshot
Basic Modal Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0454-0_2openalex-snapshot
Advanced Modal Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-1754-0_7openalex-snapshot
Tableau Methods for Substructural Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-2109-7_17openalex-snapshot
Intuitionistic Modal Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-3598-8_11openalex-snapshot
Inconsistency-tolerant Description Logic: Motivation and Basic Systems
inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_5openalex-snapshot
On the Blok-Esakia Theorem
inferred← citeshttps://doi.org/10.1007/bf01053021openalex-snapshot
A uniform tableau method for intuitionistic modal logics I
inferred← citeshttps://doi.org/10.1007/bf02429840openalex-snapshot
Models for normal intuitionistic modal logics
inferred← citeshttps://doi.org/10.1007/bf02672476openalex-snapshot
The relation between intuitionistic and classical modal logics
inferred← citeshttps://doi.org/10.1007/bfb0099386openalex-snapshot
Monadicity in topological pseudo-boolean algebras
inferred← citeshttps://doi.org/10.1007/s00153-026-01025-3openalex-snapshot
Intuitionistic logic of a binary modality
inferred← citeshttps://doi.org/10.1007/s10992-019-09507-xopenalex-snapshot
Intuitionism and the Modal Logic of Vagueness
inferred← citeshttps://doi.org/10.1007/s10992-019-09539-3openalex-snapshot
Intuitionistic Non-normal Modal Logics: A General Framework
inferred← citeshttps://doi.org/10.1007/s11083-026-09729-0openalex-snapshot
Positive Modal Hilbert Algebras and Fischer Servi Modal Hilbert Algebras
inferred← citeshttps://doi.org/10.1007/s11225-014-9583-yopenalex-snapshot
Hilbert Algebras with a Modal Operator $${\Diamond}$$ ◊
inferred← citeshttps://doi.org/10.1007/s11225-022-10003-8openalex-snapshot
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics
inferred← citeshttps://doi.org/10.1007/s11225-022-10008-3openalex-snapshot
The G4i Analogue of a G3i Sequent Calculus
inferred← citeshttps://doi.org/10.1007/s11225-024-10110-8openalex-snapshot
On a Generalization of Heyting Algebras I
inferred← citeshttps://doi.org/10.1007/s11787-017-0165-4openalex-snapshot
Interconnection of the Lattices of Extensions of Four Logics
inferred← citeshttps://doi.org/10.1007/s11787-025-00400-7openalex-snapshot
On the Contingency of Logic in Possible World Semantics
inferred← citeshttps://doi.org/10.1016/0168-0072(90)90059-bopenalex-snapshot
Constructive modal logics I
inferred← citeshttps://doi.org/10.1016/b978-0-934613-04-0.50032-6openalex-snapshot
A Framework for Intuitionistic Modal Logics
inferred← citeshttps://doi.org/10.1016/j.apal.2009.07.009openalex-snapshot
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations
inferred← citeshttps://doi.org/10.1016/j.apal.2019.04.003openalex-snapshot
Algorithmic correspondence and canonicity for non-distributive logics
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103527openalex-snapshot
Failure of the Blok–Esakia Theorem in the monadic setting
inferred← citeshttps://doi.org/10.1016/j.apal.2025.103635openalex-snapshot
Unified inverse correspondence for LE-logics
inferred← citeshttps://doi.org/10.1016/j.apal.2025.103677openalex-snapshot
Compatibility between modal operators in distributive modal logic
inferred← citeshttps://doi.org/10.1016/j.apal.2026.103743openalex-snapshot
Stable canonical rules for intuitionistic modal logics
inferred← citeshttps://doi.org/10.1016/j.apal.2026.103826openalex-snapshot
On the local modal product logic: standard completeness and decidability
inferred← citeshttps://doi.org/10.1016/j.artint.2020.103249openalex-snapshot
Autoepistemic equilibrium logic and epistemic specifications
inferred← citeshttps://doi.org/10.1016/j.fss.2024.108892openalex-snapshot
Modal reduction principles across relational semantics
inferred← citeshttps://doi.org/10.1016/j.ic.2021.104756openalex-snapshot
Non-normal modal logics and conditional logics: Semantic analysis and proof theory
inferred← citeshttps://doi.org/10.1016/j.tcs.2022.04.056openalex-snapshot
Complexity of finite-variable fragments of propositional temporal and modal logics of computation
inferred← citeshttps://doi.org/10.1016/j.tcs.2024.114875openalex-snapshot
Polynomial-time checking of generalized Sahlqvist syntactic shape
inferred← citeshttps://doi.org/10.1017/jsl.2021.102openalex-snapshot
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
inferred← citeshttps://doi.org/10.1017/s0960129522000378openalex-snapshot
A dual-context sequent calculus for the constructive modal logic S4
inferred← citeshttps://doi.org/10.1017/s147106842100048xopenalex-snapshot
Thirty years of Epistemic Specifications
inferred← citeshttps://doi.org/10.1017/s1755020321000496openalex-snapshot
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
inferred← citeshttps://doi.org/10.1023/a:1004916107078openalex-snapshot
Superintuitionistic Companions of Classical Modal Logics
inferred← citeshttps://doi.org/10.1023/a:1004947400860openalex-snapshot
Grafting Modalities onto Substructural Implication Systems
inferred← citeshttps://doi.org/10.1023/a:1004999417699openalex-snapshot
Intuitionistic Autoepistemic Logic
inferred← citeshttps://doi.org/10.1023/a:1005073905902openalex-snapshot
Varieties of Monadic Heyting Algebras. Part I
inferred← citeshttps://doi.org/10.1023/a:1005285631357openalex-snapshot
Varieties of Monadic Heyting Algebras. Part III
inferred← citeshttps://doi.org/10.1080/11663081.2018.1427987openalex-snapshot
Temporal Equilibrium Logic with past operators
inferred← citeshttps://doi.org/10.1093/jigpal/jzz020openalex-snapshot
Gentzen sequent calculi for some intuitionistic modal logics
inferred← citeshttps://doi.org/10.1093/logcom/exaa041openalex-snapshot
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
inferred← citeshttps://doi.org/10.1093/logcom/exaa082openalex-snapshot
Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions
inferred← citeshttps://doi.org/10.1093/logcom/exab030openalex-snapshot
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
inferred← citeshttps://doi.org/10.1093/logcom/exae046openalex-snapshot
Modal weak Kleene logics: axiomatizations and relational semantics
inferred← citeshttps://doi.org/10.1093/logcom/exae077openalex-snapshot
Polytime embedding of intuitionistic modal logics into their one-variable fragments
inferred← citeshttps://doi.org/10.1093/logcom/exs018openalex-snapshot
Propositional primal logic with disjunction
inferred← citeshttps://doi.org/10.1093/logcom/exw022openalex-snapshot
Unified correspondence as a proof-theoretic tool
inferred← citeshttps://doi.org/10.1093/logcom/exw024openalex-snapshot
A bimodal perspective on possibility semantics
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470508openalex-snapshot
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470643openalex-snapshot
Some constructive variants of S4 with the finite model property
inferred← citeshttps://doi.org/10.1109/lics65433.2025.00020openalex-snapshot
Semantical Analysis of Intuitionistic Modal Logics between CK and IK
inferred← citeshttps://doi.org/10.1134/s1064562423701296openalex-snapshot
Semiproducts, Products, and Modal Predicate Logics: Some Examples
inferred← citeshttps://doi.org/10.1145/3748649openalex-snapshot
Intuitionistic Gödel-Löb without Sharps
inferred← citeshttps://doi.org/10.12775/llp.2006.018openalex-snapshot
Towards intuitionistic dynamic logic
inferred← citeshttps://doi.org/10.12775/llp.2014.019openalex-snapshot
On classical behavior of intuitionistic modalities
inferred← citeshttps://doi.org/10.12775/llp.2017.023openalex-snapshot
On Displaying Negative Modalities
inferred← citeshttps://doi.org/10.1305/ndjfl/1093888520openalex-snapshot
The finite model property for ${\bf MIPQ}$ and some consequences.
inferred← citeshttps://doi.org/10.21146/2074-1472-2021-27-2-93-120openalex-snapshot
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
inferred← citeshttps://doi.org/10.2307/2275807openalex-snapshot
Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
inferred← citeshttps://doi.org/10.23638/lmcs-15(1:15)2019openalex-snapshot
Sahlqvist via Translation
inferred← citeshttps://doi.org/10.24963/kr.2023/26openalex-snapshot
A Family of Decidable Bi-intuitionistic Modal Logics
inferred← citeshttps://doi.org/10.31857/s2686954323600325openalex-snapshot
SEMIPRODUCTS, PRODUCTS, AND MODAL PREDICATE LOGICS: SOME EXAMPLES
inferred← citeshttps://doi.org/10.33540/1486openalex-snapshot
Uniform Interpolation and Admissible Rules
inferred← citeshttps://doi.org/10.3390/logics3030010openalex-snapshot
Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence
inferred← citeshttps://doi.org/10.3390/math12010146openalex-snapshot
Merging Intuitionistic and De Morgan Logics
inferred← citeshttps://doi.org/10.4467/20842589rm.14.004.2274openalex-snapshot
HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
inferred← citeshttps://doi.org/10.48550/arxiv.1603.08204openalex-snapshot
Unified Correspondence as a Proof-Theoretic Tool
inferred← citeshttps://doi.org/10.48550/arxiv.2002.04257openalex-snapshot
Non-distributive logics: from semantics to meaning
inferred← citeshttps://doi.org/10.48550/arxiv.2005.01135openalex-snapshot
Categorical and Algebraic Aspects of the Intuitionistic Modal Logic $\operatorname{IEL}^{-}$ and its predicate extensions
inferred← citeshttps://doi.org/10.48550/arxiv.2009.00218openalex-snapshot
Temporal interpretation of intuitionistic quantifiers: Monadic case
inferred← citeshttps://doi.org/10.48550/arxiv.2009.14449openalex-snapshot
Non-normal logics: semantic analysis and proof theory (extended version)
inferred← citeshttps://doi.org/10.48550/arxiv.2011.10383openalex-snapshot
Proof Theory for Intuitionistic Strong Löb Logic
inferred← citeshttps://doi.org/10.48550/arxiv.2011.11847openalex-snapshot
The G4i analogue of a G3i calculus
inferred← citeshttps://doi.org/10.48550/arxiv.2104.15053openalex-snapshot
Some constructive variants of S4 with the finite model property
inferred← citeshttps://doi.org/10.5463/thesis.149openalex-snapshot
Semantically informed methods in structural proof theory
inferred← citeshttps://doi.org/10.70675/b09df5f2z3de1z4f5czab1dz82155f62a90bopenalex-snapshot
Non-normal modal logics : neighbourhood semantics and their calculi
inferred← citeshttps://doi.org/10.70675/ce9d0e11zd180z43dczb25dzb8f4ec4c461bopenalex-snapshot
Structures multi-contextuelles et logiques modales intuititionnistes et hybrides
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.