On the public citation graph

A bimodal perspective on possibility semantics

https://doi.org/10.1093/logcom/exw024
0 signed · 59 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.1007/978-0-387-68436-9openalex-snapshot
Introduction to Boolean Algebras
inferredcites →https://doi.org/10.1007/978-0-387-68436-9_2openalex-snapshot
Boolean Algebras
inferredcites →https://doi.org/10.1007/978-1-4020-5587-4_5openalex-snapshot
Modal Logics of Space
inferredcites →https://doi.org/10.1007/978-3-319-06025-5_36openalex-snapshot
Unified Correspondence
inferredcites →https://doi.org/10.1007/978-3-642-67458-7_24openalex-snapshot
Events, Instants and Temporal Reference
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-015-7947-6_4openalex-snapshot
Points and Periods
inferredcites →https://doi.org/10.1007/bf00258426openalex-snapshot
Interval semantics for tense logic: Some remarks
inferredcites →https://doi.org/10.1007/bf00262866openalex-snapshot
Intervals and tenses
inferredcites →https://doi.org/10.1007/bf00293423openalex-snapshot
From worlds to possibilities
inferredcites →https://doi.org/10.1007/bf00370370openalex-snapshot
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
inferredcites →https://doi.org/10.1007/bf00405383openalex-snapshot
On two problems of Harvey Friedman
inferredcites →https://doi.org/10.1007/bf00485047openalex-snapshot
Vagueness, truth and logic
inferredcites →https://doi.org/10.1007/bf00652069openalex-snapshot
Semantic analysis of orthologic
inferredcites →https://doi.org/10.1007/bf01565428openalex-snapshot
Die Widerspruchsfreiheit der reinen Zahlentheorie
inferredcites →https://doi.org/10.1007/bf02015371openalex-snapshot
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
inferredcites →https://doi.org/10.1007/bf02121259openalex-snapshot
On modal logic with an intuitionistic base
inferredcites →https://doi.org/10.1007/bf02429840openalex-snapshot
Models for normal intuitionistic modal logics
inferredcites →https://doi.org/10.1007/bf02672476openalex-snapshot
The relation between intuitionistic and classical modal logics
inferredcites →https://doi.org/10.1007/s11225-016-9680-1openalex-snapshot
On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames
inferredcites →https://doi.org/10.1007/s11229-008-9408-5openalex-snapshot
The information in intuitionistic logic
inferredcites →https://doi.org/10.1016/0168-0072(90)90059-bopenalex-snapshot
Constructive modal logics I
inferredcites →https://doi.org/10.1016/j.apal.2004.06.004openalex-snapshot
Dynamic topological logic
inferredcites →https://doi.org/10.1016/s0049-237x(03)x8001-5openalex-snapshot
Many-Dimensional Modal Logics - Theory and Applications
inferredcites →https://doi.org/10.1016/s0049-237x(08)71685-9openalex-snapshot
Semantical Analysis of Intuitionistic Logic I
inferredcites →https://doi.org/10.1017/cbo9780511621192openalex-snapshot
Modal Logic
inferredcites →https://doi.org/10.1017/cbo9781107050884openalex-snapshot
Modal Logic
inferredcites →https://doi.org/10.1017/s0022481200051355openalex-snapshot
Modal reduction principles
inferredcites →https://doi.org/10.1017/s1755020319000418openalex-snapshot
FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
inferredcites →https://doi.org/10.1023/a:1010577628486openalex-snapshot
Glivenko Type Theorems for Intuitionistic Modal Logics
inferredcites →https://doi.org/10.1090/s0002-9947-1937-1501929-xopenalex-snapshot
Partially Ordered Sets
inferredcites →https://doi.org/10.1093/oso/9780198240600.003.0008openalex-snapshot
Modal Logic as a Theory of Information
inferredcites →https://doi.org/10.1093/oso/9780198537793.001.0001openalex-snapshot
Modal Logic
inferredcites →https://doi.org/10.1515/9783111346069.39openalex-snapshot
Points and periods
inferredcites →https://doi.org/10.21236/ada344355openalex-snapshot
Modal Logics and Topological Semantics for Hybrid Systems
inferredcites →https://doi.org/10.2307/2022668openalex-snapshot
Logic, Semantics, Metamathematics; Papers from 1923 to 1938.
inferredcites →https://doi.org/10.2307/2103196openalex-snapshot
Truth and Logic
inferredcites →https://doi.org/10.2307/2268135openalex-snapshot
Some theorems about the sentential calculi of Lewis and Heyting
inferredcites →https://doi.org/10.2307/2963927openalex-snapshot
E. W. Beth. Semantic construction of intuitionistic logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, n.s. vol. 19 no. 11 (1956), pp. 357–388.
inferredcites →https://doi.org/10.26686/ajl.v22i2.5680openalex-snapshot
Possibility Frames and Forcing for Modal Logic
inferredcites →https://doi.org/10.4064/fm-31-1-103-134openalex-snapshot
Der Aussagenkalkül und die Topologie

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-3-030-03487-0_5openalex-snapshot
Truthmaker Semantics for Deontic Modals
inferred← citeshttps://doi.org/10.1007/978-3-031-29415-0_1openalex-snapshot
Introduction: Kit Fine on Truthmakers, Relevance, and Non-classical Logic
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/s10992-018-9485-yopenalex-snapshot
Implicit and Explicit Stances in Logic
inferred← citeshttps://doi.org/10.1007/s10992-024-09746-7openalex-snapshot
The Orthologic of Epistemic Modals
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.2023.103245openalex-snapshot
B-frame duality
inferred← citeshttps://doi.org/10.1016/j.cogsys.2016.09.001openalex-snapshot
Philosophical foundations of partial belief models
inferred← citeshttps://doi.org/10.1016/j.indag.2019.01.001openalex-snapshot
A semantic hierarchy for intuitionistic logic
inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.10.006openalex-snapshot
Algebraic modal correspondence: Sahlqvist and beyond
inferred← citeshttps://doi.org/10.1016/j.jmateco.2024.103081openalex-snapshot
A partial-state space model of unawareness
inferred← citeshttps://doi.org/10.1017/s1755020319000418openalex-snapshot
FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
inferred← citeshttps://doi.org/10.1017/s1755020323000308openalex-snapshot
ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY
inferred← citeshttps://doi.org/10.1093/logcom/exab004openalex-snapshot
Algorithmic correspondence and canonicity for possibility semantics
inferred← citeshttps://doi.org/10.1093/logcom/exx024openalex-snapshot
Results in modal correspondence theory for possibility semantics
inferred← citeshttps://doi.org/10.26686/ajl.v22i2.5680openalex-snapshot
Possibility Frames and Forcing for Modal Logic
inferred← citeshttps://doi.org/10.3390/logics3030010openalex-snapshot
Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence
inferred← citeshttps://doi.org/10.3998/ergo.12405314.0007.008openalex-snapshot
Actual Issues for Relevant Logics
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.