On the public citation graph
Models for stronger normal intuitionistic modal logics
0 signed · 73 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.1007/978-1-4613-8101-3openalex-snapshot
The Mathematics of Time: Essays on Dynamical Systems, Economic Processes, and Related Topics
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-017-2977-2openalex-snapshot
Semantical Investigations in Heyting’s Intuitionistic Logic
inferredcites →https://doi.org/10.1007/bf02429840openalex-snapshot
Models for normal intuitionistic modal logics
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7038-7openalex-snapshot
Intuitionistic Logic Model Theory and Forcing
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.4064/fm-57-1-97-106openalex-snapshot
A closure and complement result for nested topologies
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/978-1-4613-0609-2_19openalex-snapshot
Normal Modal Logics in Which the Heyting Propositional Calculus can be Embedded
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-47921-2_8openalex-snapshot
Proof Theory for Lax Logic
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-99536-1_5openalex-snapshot
Paraconsistent Constructive Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-20895-9_23openalex-snapshot
Contingency-Based Equilibrium Logic
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-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-015-9309-0_4openalex-snapshot
Negation in the Light of Modal Logic
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-8860-1_8openalex-snapshot
Constructive Modalities with Provability Smack
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/bf02770508openalex-snapshot
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
inferred← citeshttps://doi.org/10.1007/bf02917138openalex-snapshot
A strong completeness theorem in intuitionistic quantified modal logic
inferred← citeshttps://doi.org/10.1007/s00500-019-04536-9openalex-snapshot
Algebraic semantics of the $$\left\{ \rightarrow ,\square \right\} $$-fragment of Propositional Lax Logic
inferred← citeshttps://doi.org/10.1007/s10469-023-09712-3openalex-snapshot
Normal Companions of Intuitionistic Modal Logics
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-018-9485-yopenalex-snapshot
Implicit and Explicit Stances in Logic
inferred← citeshttps://doi.org/10.1007/s10992-022-09655-7openalex-snapshot
What is a Relevant Connective?
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-10008-3openalex-snapshot
The G4i Analogue of a G3i Sequent Calculus
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.ijar.2010.08.014openalex-snapshot
Extending possibilistic logic over Gödel logic
inferred← citeshttps://doi.org/10.1016/j.jal.2005.06.007openalex-snapshot
A general method for proving decidability of intuitionistic modal logics
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:1004999417699openalex-snapshot
Intuitionistic Autoepistemic Logic
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.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/jzz020openalex-snapshot
Gentzen sequent calculi for some intuitionistic modal logics
inferred← citeshttps://doi.org/10.1093/logcom/exae030openalex-snapshot
Intuitionistic S4 as a logic of topological spaces
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/exs036openalex-snapshot
Bi-modal Godel logic over [0,1]-valued Kripke frames
inferred← citeshttps://doi.org/10.1093/logcom/exy026openalex-snapshot
Terminating sequent calculi for two intuitionistic modal logics
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.12775/llp.2014.019openalex-snapshot
On classical behavior of intuitionistic 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.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.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.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-20(1:12)2024openalex-snapshot
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
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
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.