On the public citation graph

Modal companions of intermediate propositional logics

0 signed · 108 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.1002/malq.19590051405openalex-snapshot

Modal Logics Between S 4 and S 5

inferredcites →https://doi.org/10.1002/malq.19710170141openalex-snapshot

The Logics Containing S 4.3

inferredcites →https://doi.org/10.1002/malq.19720180802openalex-snapshot

Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable

inferredcites →https://doi.org/10.1007/3-540-08921-7_88openalex-snapshot

The completeness of propositional dynamic logic

inferredcites →https://doi.org/10.1007/978-1-4613-0609-2_19openalex-snapshot

Normal Modal Logics in Which the Heyting Propositional Calculus can be Embedded

inferredcites →https://doi.org/10.1007/978-1-4613-8601-8_2openalex-snapshot

Provability as Modality

inferredcites →https://doi.org/10.1007/978-3-642-88664-5openalex-snapshot

Vollständige Systeme modaler und intuitionistischer Logik

inferredcites →https://doi.org/10.1007/978-981-15-1342-8openalex-snapshot

Nonclassical Logics and Their Applications: Post-Proceedings of the 8th International Workshop on Logic and Cognition

inferredcites →https://doi.org/10.1007/bf00249258openalex-snapshot

Modal tableau calculi and interpolation

inferredcites →https://doi.org/10.1007/bf00260931openalex-snapshot

Modal translations in substructural logics

inferredcites →https://doi.org/10.1007/bf01157470openalex-snapshot

Extensions of the provability logic

inferredcites →https://doi.org/10.1007/bf01186549openalex-snapshot

Zur Deutung der intuitionistischen Logik

inferredcites →https://doi.org/10.1007/bf01463150openalex-snapshot

A lattice of normal modal logics

inferredcites →https://doi.org/10.1007/bf01668576openalex-snapshot

Pretabular extensions of LewisS4

inferredcites →https://doi.org/10.1007/bf01669284openalex-snapshot

Noncompact extensions of the logicS4

inferredcites →https://doi.org/10.1007/bf01673502openalex-snapshot

Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras

inferredcites →https://doi.org/10.1007/bf01874706openalex-snapshot

A propositional logic with explicit fixed points

inferredcites →https://doi.org/10.1007/bf01877236openalex-snapshot

Hereditarily finitely axiomatizable extensions of logic S4

inferredcites →https://doi.org/10.1007/bf01881551openalex-snapshot

On superintuitionistic logics as fragments of proof logic extensions

inferredcites →https://doi.org/10.1007/bf01979699openalex-snapshot

Number of prelocally table superintuitionistic propositional logics

inferredcites →https://doi.org/10.1007/bf01980737openalex-snapshot

Syntax and semantics of modal logics containing S4

inferredcites →https://doi.org/10.1007/bf01982206openalex-snapshot

Absence of the interpolation property in the consistent normal modal extensions of the dummett logic

inferredcites →https://doi.org/10.1007/bf01984693openalex-snapshot

Varieties of logical matrices

inferredcites →https://doi.org/10.1007/bf02215288openalex-snapshot

Undecidable properties of extensions of a provability logic. II

inferredcites →https://doi.org/10.1007/bf02757006openalex-snapshot

Provability interpretations of modal logic

inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot

Linear logic

inferredcites →https://doi.org/10.1016/0304-3975(88)90001-1openalex-snapshot

Fiftieth volume of theoretical computer science

inferredcites →https://doi.org/10.1016/s0049-237x(08)70527-5openalex-snapshot

A Survey of Some Connections Between Classical, Intuitionistic and Minimal Logic

inferredcites →https://doi.org/10.1017/s0004972700041186openalex-snapshot

Metamathematics of modal logic

inferredcites →https://doi.org/10.1017/s0022481200039876openalex-snapshot

Stanisław Jaśkowski. Recherches sur le système de la logique intuitioniste. Actes du Congrès International de Philosophie Scientifique, VI Philosophie des mathématiques, Actualités scientifiques et industrielles 393, Hermann & Cie, Paris 1936, pp. 58–61.

inferredcites →https://doi.org/10.1017/s002248120005194xopenalex-snapshot

The truth about some Post numbers

inferredcites →https://doi.org/10.1017/s0027763000018055openalex-snapshot

Eine Darstellung der Intuitionistischen Logik in der Klassischen

inferredcites →https://doi.org/10.1109/sfcs.1976.4openalex-snapshot

Alternation

inferredcites →https://doi.org/10.1111/j.1755-2567.1974.tb00081.xopenalex-snapshot

An ascending chain of S4 logics

inferredcites →https://doi.org/10.1111/j.1755-2567.1977.tb00779.xopenalex-snapshot

Five critical modal systems

inferredcites →https://doi.org/10.1111/j.1755-2567.1978.tb00831.xopenalex-snapshot

Arithmetical necessity, provability and intuitionistic logic

inferredcites →https://doi.org/10.1111/j.1755-2567.1980.tb00686.xopenalex-snapshot

On systems of modal logic with provability interpretations

inferredcites →https://doi.org/10.1305/ndjfl/1093957741openalex-snapshot

Remarks about axiomatizations of certain modal systems.

inferredcites →https://doi.org/10.15083/00039867openalex-snapshot

On intermediate logics I

inferredcites →https://doi.org/10.2307/1969038openalex-snapshot

On Closed Elements in Closure Algebras

inferredcites →https://doi.org/10.2307/2266683openalex-snapshot

Extensions of the Lewis system S5

inferredcites →https://doi.org/10.2307/2268135openalex-snapshot

Some theorems about the sentential calculi of Lewis and Heyting

inferredcites →https://doi.org/10.2307/2270456openalex-snapshot

There are infinitely many Diodorean modal functions

inferredcites →https://doi.org/10.2307/2270800openalex-snapshot

M. A. E. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 250–264. - Iwao Nishimura. On formulas of one variable in intuitionistic propositional calculus. The journal of symbolic logic, vol. 25 No. 4…

inferredcites →https://doi.org/10.2307/2271336openalex-snapshot

What is strict implication?

inferredcites →https://doi.org/10.2307/2271877openalex-snapshot

An intuitionistically plausible interpretation of intuitionistic logic

inferredcites →https://doi.org/10.2307/2272340openalex-snapshot

Logics containing K4. Part I

inferredcites →https://doi.org/10.2307/2272419openalex-snapshot

Noncompactness in propositional modal logic

inferredcites →https://doi.org/10.2307/2274318openalex-snapshot

Logics containing K4. Part II

inferredcites →https://doi.org/10.4064/-9-1-31-46openalex-snapshot

A completeness theorem in the modal logic of programs

inferredcites →https://doi.org/10.4064/fm-60-3-223-231openalex-snapshot

Some relational systems and the associated topological spaces

inferredcites →https://doi.org/10.4467/20842589rmopenalex-snapshot

Reports 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.1002/malq.202100046openalex-snapshot

The algebraic significance of weak excluded middle laws

inferred← citeshttps://doi.org/10.1007/978-0-387-69245-6_1openalex-snapshot

On Two Models of Provability

inferred← citeshttps://doi.org/10.1007/978-3-030-87548-0_1openalex-snapshot

Introduction

inferred← citeshttps://doi.org/10.1007/978-3-030-88701-8_11openalex-snapshot

Some Modal and Temporal Translations of Generalized Basic Logic

inferred← citeshttps://doi.org/10.1007/978-3-030-97303-2_18openalex-snapshot

Oskar Becker and the Modal Translation of Intuitionistic Logic

inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_4openalex-snapshot

A Note on Strictly Positive Logics and Word Rewriting Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-72056-2_8openalex-snapshot

From Display to Labelled Proofs for Tense Logics

inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_9openalex-snapshot

Sixty Years of Stable Models

inferred← citeshttps://doi.org/10.1007/978-3-642-35722-0_29openalex-snapshot

Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic

inferred← citeshttps://doi.org/10.1007/978-94-015-8242-1_4openalex-snapshot

Modal Translations in K and D

inferred← citeshttps://doi.org/10.1007/978-94-015-8879-9_8openalex-snapshot

Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline

inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_8openalex-snapshot

From Here to There: Stable Negation in Logic Programming

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-8860-1_5openalex-snapshot

On the Blok-Esakia Theorem

inferred← citeshttps://doi.org/10.1007/bf00370182openalex-snapshot

The disjunction property of intermediate propositional logics

inferred← citeshttps://doi.org/10.1007/bf02672476openalex-snapshot

The relation between intuitionistic and classical modal logics

inferred← citeshttps://doi.org/10.1007/bf02732374openalex-snapshot

On an extension of Gabbay’s logic

inferred← citeshttps://doi.org/10.1007/s00012-023-00830-8openalex-snapshot

Choice-free topological duality for implicative lattices and Heyting algebras

inferred← citeshttps://doi.org/10.1007/s10992-015-9379-1openalex-snapshot

A Generalization of Inquisitive Semantics

inferred← citeshttps://doi.org/10.1007/s11225-006-8296-2openalex-snapshot

Willem Blok and Modal Logic

inferred← citeshttps://doi.org/10.1007/s11225-025-10225-6openalex-snapshot

On Modal Companions of Logics with Strong Negation

inferred← citeshttps://doi.org/10.1016/j.apal.2013.07.019openalex-snapshot

Self-referentiality of Brouwer–Heyting–Kolmogorov semantics

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.indag.2019.01.001openalex-snapshot

A semantic hierarchy for intuitionistic logic

inferred← citeshttps://doi.org/10.1016/s0168-0072(96)00049-8openalex-snapshot

The structure of lattices of subframe logics

inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80019-xopenalex-snapshot

16 Modal logic in mathematics

inferred← citeshttps://doi.org/10.1017/jsl.2025.10126openalex-snapshot

BLOK–ESAKIA THEOREMS VIA STABLE CANONICAL RULES

inferred← citeshttps://doi.org/10.1017/s1755020320000222openalex-snapshot

THE LOGIC OF INFORMATION IN STATE SPACES

inferred← citeshttps://doi.org/10.1023/a:1004218110879openalex-snapshot

On Logics with Coimplication

inferred← citeshttps://doi.org/10.1023/a:1004229908345openalex-snapshot

Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness

inferred← citeshttps://doi.org/10.1023/a:1004956418185openalex-snapshot

Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics

inferred← citeshttps://doi.org/10.1023/a:1005084328298openalex-snapshot

The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable

inferred← citeshttps://doi.org/10.1057/9781137030894_4openalex-snapshot

Sixty Years of Stable Models

inferred← citeshttps://doi.org/10.1080/01445340.2021.1883319openalex-snapshot

Reflections on Orlov

inferred← citeshttps://doi.org/10.1080/11663081.2018.1547515openalex-snapshot

Lattice logic as a fragment of (2-sorted) residuated modal logic

inferred← citeshttps://doi.org/10.1080/11663081.2019.1703469openalex-snapshot

Modal translation of substructural logics

inferred← citeshttps://doi.org/10.1093/logcom/5.3.287openalex-snapshot

On the Independent Axiomatizability of Modal and Intermediate Logics

inferred← citeshttps://doi.org/10.1093/logcom/exac085openalex-snapshot

Complexity function and complexity of validity of modal and superintuitionistic propositional logics

inferred← citeshttps://doi.org/10.1093/logcom/exad043openalex-snapshot

Polyatomic logics and generalized Blok–Esakia theory

inferred← citeshttps://doi.org/10.1093/logcom/exw012openalex-snapshot

Unified correspondence and proof theory for strict implication

inferred← citeshttps://doi.org/10.1134/s0001434625030034openalex-snapshot

Modal Companions for the Special Extensions of Nelson’s Constructive Logic

inferred← citeshttps://doi.org/10.1134/s0001434626603278openalex-snapshot

Intuitionistic Epistemic Logic from the Point of View of Classical Logic

inferred← citeshttps://doi.org/10.1137/15m1016904openalex-snapshot

Dyck Algebras, Interval Temporal Logic, and Posets of Intervals

inferred← citeshttps://doi.org/10.1145/3460492openalex-snapshot

Display to Labeled Proofs and Back Again for Tense Logics

inferred← citeshttps://doi.org/10.1215/00294527-2420636openalex-snapshot

Montague’s Paradox, Informal Provability, and Explicit Modal Logic

inferred← citeshttps://doi.org/10.18778/0138-0680.47.2.05openalex-snapshot

Grzegorczyk Algebras Revisited

inferred← citeshttps://doi.org/10.21146/2074-1472-2013-19-0-308-324openalex-snapshot

The concept of ‘Translation’: history and theory

inferred← citeshttps://doi.org/10.2307/2275108openalex-snapshot

The undecidability of the disjunction property of propositional logics and other related problems

inferred← citeshttps://doi.org/10.2307/2586754openalex-snapshot

Normal monomodal logics can simulate all others

inferred← citeshttps://doi.org/10.23638/lmcs-15(1:15)2019openalex-snapshot

Sahlqvist via Translation

inferred← citeshttps://doi.org/10.25911/5d626d13dfdbfopenalex-snapshot

Cut-elimination for provability logics and some results in display logic

inferred← citeshttps://doi.org/10.26180/4546354openalex-snapshot

Translational embeddings in modal logic

inferred← citeshttps://doi.org/10.3390/math12010146openalex-snapshot

Merging Intuitionistic and De Morgan Logics

inferred← citeshttps://doi.org/10.4213/mzm14305openalex-snapshot

Модальные напарники специальных расширений конструктивной логики Нельсона

inferred← citeshttps://doi.org/10.4213/mzm14782openalex-snapshot

Интуиционистская эпистемическая логика с точки зрения классической логики

inferred← citeshttps://doi.org/10.48550/arxiv.1810.09286openalex-snapshot

On the Blok-Esakia theorem for universal classes

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.