On the public citation graph

Modal and tense predicate logic: Models in presheaves and categorical conceptualization

https://doi.org/10.1007/bfb0081355
0 signed · 48 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-3-0346-0145-0_16openalex-snapshot
Semantical Considerations on Modal Logic
inferredcites →https://doi.org/10.1007/978-94-009-6259-0_5openalex-snapshot
Quantification in Modal Logic
inferredcites →https://doi.org/10.1007/978-94-010-3272-8openalex-snapshot
Philosophical Problems in Logic
inferredcites →https://doi.org/10.1007/978-94-010-3272-8_2openalex-snapshot
Existential Presuppositions and Uniqueness Presuppositions
inferredcites →https://doi.org/10.1007/bfb0061290openalex-snapshot
Model theory and topoi : a collection of lectures by various authors
inferredcites →https://doi.org/10.1007/bfb0061291openalex-snapshot
Introduction to Part I
inferredcites →https://doi.org/10.1007/bfb0076928openalex-snapshot
Categories in Continuum Physics
inferredcites →https://doi.org/10.1007/bfb0076929openalex-snapshot
Introduction
inferredcites →https://doi.org/10.1090/pspum/017openalex-snapshot
Applications of Categorical Algebra
inferredcites →https://doi.org/10.1090/pspum/017/0257175openalex-snapshot
Equality in hyperdoctrines and comprehension schema as an adjoint functor
inferredcites →https://doi.org/10.1093/acprof:oso/9780198243113.001.0001openalex-snapshot
Past, Present and Future
inferredcites →https://doi.org/10.1111/j.1468-0149.1963.tb00803.xopenalex-snapshot
ACTA PHILOSOPHICA FENNICA
inferredcites →https://doi.org/10.1111/j.1468-0149.1969.tb00005.xopenalex-snapshot
AN INTRODUCTION TO MODAL LOGIC
inferredcites →https://doi.org/10.1111/j.1755-2567.1968.tb00351.xopenalex-snapshot
Abstraction in First‐Order Modal Logic1

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.19900360303openalex-snapshot
Modal logics with n‐ary connectives
inferred← citeshttps://doi.org/10.1007/978-3-030-97303-2_21openalex-snapshot
Counterpart Semantics at Work: Independence and Incompleteness Results in Quantified Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-06843-0_6openalex-snapshot
The Invariance Modality
inferred← citeshttps://doi.org/10.1007/978-3-031-36709-0_2openalex-snapshot
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-031-43345-0_4openalex-snapshot
A Presheaf Semantics for Quantified Temporal Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-62687-6_15openalex-snapshot
Modal Hyperdoctrine: Higher-Order and Non-normal Extensions
inferred← citeshttps://doi.org/10.1007/978-94-015-9761-6_5openalex-snapshot
Substitution, Quantifiers and Identity in Modal Logic
inferred← citeshttps://doi.org/10.1007/bf00357841openalex-snapshot
Bi-Heyting algebras, toposes and modalities
inferred← citeshttps://doi.org/10.1007/bf00370113openalex-snapshot
Quantified extensions of canonical propositional intermediate logics
inferred← citeshttps://doi.org/10.1007/bf01620621openalex-snapshot
Presheaf semantics and independence results for some non-classical first-order logics
inferred← citeshttps://doi.org/10.1007/bfb0081344openalex-snapshot
Categorical Algebra and its Applications
inferred← citeshttps://doi.org/10.1007/bfb0084231openalex-snapshot
Topos-theoretic approaches to modality
inferred← citeshttps://doi.org/10.1007/s10516-005-0466-8openalex-snapshot
The Meaning of Category Theory for 21st Century Philosophy
inferred← citeshttps://doi.org/10.1007/s10992-012-9266-yopenalex-snapshot
Modes of Adjointness
inferred← citeshttps://doi.org/10.1007/s11229-023-04042-4openalex-snapshot
Categorial modal realism
inferred← citeshttps://doi.org/10.1016/0168-0072(93)00085-4openalex-snapshot
Completeness results for intuitionistic and modal logic in a categorical setting
inferred← citeshttps://doi.org/10.1016/0168-0072(93)e0084-2openalex-snapshot
An algebraic theory of normal forms
inferred← citeshttps://doi.org/10.1016/0168-0072(94)90069-8openalex-snapshot
A completeness theorem for open maps
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.10.011openalex-snapshot
Neighborhood-Sheaf Semantics for First-Order Modal Logic
inferred← citeshttps://doi.org/10.1016/j.jlamp.2025.101082openalex-snapshot
Counterpart-based Quantified Temporal Logics
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80012-7openalex-snapshot
9 First-order modal logic
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80373-6openalex-snapshot
A Note on Coalgebras and Presheaves
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80642-5openalex-snapshot
Developing Theories of Types and Computability via Realizability
inferred← citeshttps://doi.org/10.1017/s096012950200378xopenalex-snapshot
The temporal logic of coalgebras via Galois algebras
inferred← citeshttps://doi.org/10.1017/s0960129505004767openalex-snapshot
A note on coalgebras and presheaves
inferred← citeshttps://doi.org/10.1017/s0960129517000019openalex-snapshot
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
inferred← citeshttps://doi.org/10.1017/s0960129521000207openalex-snapshot
Doctrines, modalities and comonads
inferred← citeshttps://doi.org/10.1017/s1755020308080143openalex-snapshot
TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
inferred← citeshttps://doi.org/10.1023/a:1005291931660openalex-snapshot
On an Intuitionistic Modal Logic
inferred← citeshttps://doi.org/10.1080/01445340.2022.2107383openalex-snapshot
Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy
inferred← citeshttps://doi.org/10.2307/2274697openalex-snapshot
Incompleteness results in Kripke semantics
inferred← citeshttps://doi.org/10.2307/2275788openalex-snapshot
Relational and partial variable sets and basic predicate logic
inferred← citeshttps://doi.org/10.3166/jancl.20.193-217openalex-snapshot
Continuity, freeness, and filtrations
inferred← citeshttps://doi.org/10.59350/x6cmv-2ex70openalex-snapshot
Question of the Year (and a challenge)
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.