On the public citation graph
Models for normal intuitionistic modal logics
0 signed · 134 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.19630090502openalex-snapshot
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
inferredcites →https://doi.org/10.1002/malq.19700160207openalex-snapshot
Models for Multiply Modal Systems
inferredcites →https://doi.org/10.1002/malq.19770233609openalex-snapshot
A Remark on M. K. Rennie's Paper “Models for Multiply Modal Systems”
inferredcites →https://doi.org/10.1007/978-1-4757-4385-2openalex-snapshot
A Course in Mathematical Logic
inferredcites →https://doi.org/10.1007/978-94-009-8937-5_5openalex-snapshot
Semantics for a Class of Intuitionistic Modal Calculi
inferredcites →https://doi.org/10.1007/978-94-017-2977-2openalex-snapshot
Semantical Investigations in Heyting’s Intuitionistic Logic
inferredcites →https://doi.org/10.1007/bf00370809openalex-snapshot
Models for stronger normal intuitionistic modal logics
inferredcites →https://doi.org/10.1007/bf00405387openalex-snapshot
A modal calculus analogous to K4W, based on intuitionistic propositional logic, I?
inferredcites →https://doi.org/10.1007/bf01874703openalex-snapshot
Intuitionistic modal logics incompatible with the law of the excluded middle
inferredcites →https://doi.org/10.1007/bf02121259openalex-snapshot
On modal logic with an intuitionistic base
inferredcites →https://doi.org/10.1016/s0049-237x(08)71680-xopenalex-snapshot
Some Modal Calculi Based On IC
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7038-7openalex-snapshot
Intuitionistic Logic Model Theory and Forcing
inferredcites →https://doi.org/10.1111/j.1755-2567.1969.tb00372.xopenalex-snapshot
Logics With Several Modal Operators
inferredcites →https://doi.org/10.1111/j.1755-2567.1970.tb00429.xopenalex-snapshot
Modal logics with linear alternative relations
inferredcites →https://doi.org/10.1305/ndjfl/1093888520openalex-snapshot
The finite model property for ${\bf MIPQ}$ and some consequences.
inferredcites →https://doi.org/10.1305/ndjfl/1093958154openalex-snapshot
A modal extension of intuitionist logic.
inferredcites →https://doi.org/10.2307/2269276openalex-snapshot
Tzu-Hua Hoo. m-valued sub-system of (m+n)-valued propositional calculus. The journal of symbolic logic, vol. 14 (1949), pp. 177–181.
inferredcites →https://doi.org/10.2307/2269696openalex-snapshot
MIPC as the formalisation of an intuitionist concept of modality
inferredcites →https://doi.org/10.5860/choice.46-2143openalex-snapshot
A course on mathematical logic
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
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-5012-7openalex-snapshot
The Age of Alternative Logics
inferred← citeshttps://doi.org/10.1007/978-1-4020-5012-7_2openalex-snapshot
Epistemic Models, Logical Monotony and Substructural Logics
inferred← citeshttps://doi.org/10.1007/978-3-030-86059-2_26openalex-snapshot
The Došen Square Under Construction: A Tale of Four Modalities
inferred← citeshttps://doi.org/10.1007/978-3-030-89391-0_29openalex-snapshot
A Framework for Intuitionistic Grammar 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-47921-2_9openalex-snapshot
Intermediate Logics in the Setting of Team Semantics
inferred← citeshttps://doi.org/10.1007/978-3-031-56595-3_7openalex-snapshot
Algebras and Relational Frames for Gödel Modal Logic and Some of its Extensions
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_5openalex-snapshot
Relational Patterns, Partiality, and Set Lifting in Modal Semantics
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_19openalex-snapshot
A Proof-Theoretic View of Basic Intuitionistic Conditional Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-32589-1_21openalex-snapshot
Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
inferred← citeshttps://doi.org/10.1007/978-3-319-89366-2_14openalex-snapshot
Fitch-Style Modal Lambda Calculi
inferred← citeshttps://doi.org/10.1007/978-3-642-76799-9_8openalex-snapshot
Some Lectures on Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-48561-3_24openalex-snapshot
Intuitionistic Epistemology and Modal Logics of Verification
inferred← citeshttps://doi.org/10.1007/978-3-662-55386-2_25openalex-snapshot
Substructural Logics with a Reflexive Transitive Closure Modality
inferred← citeshttps://doi.org/10.1007/978-94-007-1923-1_18openalex-snapshot
Two Diamonds Are More Than One
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-0687-7_5openalex-snapshot
Two Levels of Modality: An Algebraic Approach
inferred← citeshttps://doi.org/10.1007/978-94-010-0387-2_2openalex-snapshot
Sequent Systems for Modal Logics
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_4openalex-snapshot
Negation in the Light of 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-3598-8_11openalex-snapshot
Inconsistency-tolerant Description Logic: Motivation and Basic Systems
inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_8openalex-snapshot
Constructive Modalities with Provability Smack
inferred← citeshttps://doi.org/10.1007/bf00370809openalex-snapshot
Models for stronger normal intuitionistic modal logics
inferred← citeshttps://doi.org/10.1007/bf01053021openalex-snapshot
A uniform tableau method for intuitionistic modal logics I
inferred← citeshttps://doi.org/10.1007/bf02672476openalex-snapshot
The relation between intuitionistic and classical modal logics
inferred← citeshttps://doi.org/10.1007/bf02917138openalex-snapshot
A strong completeness theorem in intuitionistic quantified modal logic
inferred← citeshttps://doi.org/10.1007/s10469-013-9235-8openalex-snapshot
Composition of an intuitionistic negation and negative modalities as a necessity operator
inferred← citeshttps://doi.org/10.1007/s10469-015-9312-2openalex-snapshot
Some Modal Operators Over Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/s10469-023-09712-3openalex-snapshot
Normal Companions of Intuitionistic Modal Logics
inferred← citeshttps://doi.org/10.1007/s10670-026-01120-0openalex-snapshot
Constructivism and Relevance
inferred← citeshttps://doi.org/10.1007/s10958-015-2254-3openalex-snapshot
Double Negation Operator in Logic N ∗
inferred← citeshttps://doi.org/10.1007/s10992-011-9207-1openalex-snapshot
Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox
inferred← citeshttps://doi.org/10.1007/s10992-018-9471-4openalex-snapshot
Basic Intuitionistic Conditional Logic
inferred← citeshttps://doi.org/10.1007/s10992-022-09655-7openalex-snapshot
What is a Relevant Connective?
inferred← citeshttps://doi.org/10.1007/s10992-024-09763-6openalex-snapshot
An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic
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/s11098-025-02459-wopenalex-snapshot
From belief change to modality: Epistemic semantics for modal and conditional logic
inferred← citeshttps://doi.org/10.1007/s11225-010-9230-1openalex-snapshot
Standard Gödel Modal Logics
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-020-09897-zopenalex-snapshot
A General Framework for $$ {FDE}$$-Based Modal Logics
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-025-10214-9openalex-snapshot
Goldblatt-Thomason Theorems for Inflationary Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/s11229-008-9408-5openalex-snapshot
The information in intuitionistic logic
inferred← citeshttps://doi.org/10.1007/s11229-012-0061-7openalex-snapshot
The Church–Fitch knowability paradox in the light of structural proof theory
inferred← citeshttps://doi.org/10.1007/s11229-026-05790-9openalex-snapshot
FMP in classical and intuitionistic non-normal monotonic modal logic with transitivity
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/j.apal.2004.12.001openalex-snapshot
Tableaux for constructive concurrent dynamic logic
inferred← citeshttps://doi.org/10.1016/j.apal.2019.05.008openalex-snapshot
Uniform interpolation and the existence of sequent calculi
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.ic.2021.104757openalex-snapshot
Hennessy-Milner properties via topological compactness
inferred← citeshttps://doi.org/10.1016/j.indag.2017.10.003openalex-snapshot
Lewis meets Brouwer: Constructive strict implication
inferred← citeshttps://doi.org/10.1017/s1755020315000374openalex-snapshot
INTUITIONISTIC EPISTEMIC LOGIC
inferred← citeshttps://doi.org/10.1023/a:1004900300438openalex-snapshot
Simulation and Transfer Results in Modal Logic – A Survey
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:1004951501769openalex-snapshot
Combining Possibilities and Negations
inferred← citeshttps://doi.org/10.1023/a:1021256513220openalex-snapshot
Diamonds are a Philosopher's Best Friends
inferred← citeshttps://doi.org/10.1080/00048409712347801openalex-snapshot
□ In intuitionistic modal logic
inferred← citeshttps://doi.org/10.1080/01445340.2019.1682410openalex-snapshot
Logical Foundations and Kant's Principles of Formal Logic
inferred← citeshttps://doi.org/10.1080/11663081.2025.2551996openalex-snapshot
A semantical analysis of some subintuitionistic modal logics
inferred← citeshttps://doi.org/10.1080/11663081.2026.2660474openalex-snapshot
Concurrent Heyting algebras: an algebraic semantics for an intuitionistic modal logic
inferred← citeshttps://doi.org/10.1093/jigpal/7.6.683openalex-snapshot
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzi047openalex-snapshot
Properties of Intuitionistic Provability and Preservativity Logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzr044openalex-snapshot
Which classical correspondence is valid in intuitionistic modal logic?
inferred← citeshttps://doi.org/10.1093/jigpal/jzz020openalex-snapshot
Gentzen sequent calculi for some intuitionistic modal logics
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/exab020openalex-snapshot
A fully labelled proof system for intuitionistic modal logics
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/exn016openalex-snapshot
Modal Operators over Constructive Logic
inferred← citeshttps://doi.org/10.1093/logcom/exw024openalex-snapshot
A bimodal perspective on possibility semantics
inferred← citeshttps://doi.org/10.1093/logcom/exy026openalex-snapshot
Terminating sequent calculi for two intuitionistic modal logics
inferred← citeshttps://doi.org/10.1093/logcom/exz010openalex-snapshot
A bilateral Hilbert-style investigation of 2-intuitionistic logic
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/lics65433.2025.00020openalex-snapshot
Semantical Analysis of Intuitionistic Modal Logics between CK and IK
inferred← citeshttps://doi.org/10.1145/3373718.3394807openalex-snapshot
Modal Intuitionistic Logics as Dialgebraic Logics
inferred← citeshttps://doi.org/10.1145/3547649openalex-snapshot
Normalization for fitch-style modal calculi
inferred← citeshttps://doi.org/10.1155/ijmms/2006/21835openalex-snapshot
Simple and subdirectly irreducibles bounded distributive latticeswith unary operators
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.12775/llp.2018.018openalex-snapshot
Connexive Conditional Logic. Part I
inferred← citeshttps://doi.org/10.1305/ndjfl/1039700693openalex-snapshot
A New Semantics for Positive Modal Logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1093636766openalex-snapshot
Modality and possibility in some intuitionistic modal logics.
inferred← citeshttps://doi.org/10.18778/0138-0680.48.3.03openalex-snapshot
Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
inferred← citeshttps://doi.org/10.21146/2074-1472-2025-31-2-143-168openalex-snapshot
Отмеченное субординатное натуральное исчисление для базовой интуиционистской кондициональной логики
inferred← citeshttps://doi.org/10.2307/2274764openalex-snapshot
A first approach to abstract modal logics
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.26686/ajl.v22i2.5680openalex-snapshot
Possibility Frames and Forcing for Modal Logic
inferred← citeshttps://doi.org/10.3233/fun-2001-46301openalex-snapshot
A Fragment of Intuitionistic Dynamic Logic
inferred← citeshttps://doi.org/10.33540/1486openalex-snapshot
Uniform Interpolation and Admissible Rules
inferred← citeshttps://doi.org/10.35537/10915/161760openalex-snapshot
Estudio de álgebras de Heyting débiles con operadores modales
inferred← citeshttps://doi.org/10.4288/kisoron.39.2_51openalex-snapshot
On Extensions of a System of Paraconsistent Logic PCL1
inferred← citeshttps://doi.org/10.4467/20842589rm.14.004.2274openalex-snapshot
HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
inferred← citeshttps://doi.org/10.46298/lmcs-18(3:1)2022openalex-snapshot
Modal meet-implication logic
inferred← citeshttps://doi.org/10.48550/arxiv.1707.03859openalex-snapshot
Intuitionistic modal logic based on neighborhood semantics without superset axiom
inferred← citeshttps://doi.org/10.48550/arxiv.1806.09443openalex-snapshot
Simple example of weak modal logic based on intuitionistic core
inferred← citeshttps://doi.org/10.48550/arxiv.1903.06900openalex-snapshot
Multi-topological semantics for intuitionistic modal logic
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.2011.10221openalex-snapshot
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
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.2012.03558openalex-snapshot
Infra-topologies revisited: logic and clarification of basic notions
inferred← citeshttps://doi.org/10.70675/ebffbe00z3617z41e5z91bfzd4ec1aa303afopenalex-snapshot
Le statut dynamique des axiomes : des preuves aux modèles
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.