On the public citation graph

Quantifiers in combinatory PDL: Completeness, definability, incompleteness

https://doi.org/10.1007/bfb0028835
0 signed · 27 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.1016/0020-0190(85)90127-9openalex-snapshot
PDL with data constants

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/10722086_19openalex-snapshot
Term-Modal Logics
inferred← citeshttps://doi.org/10.1007/3-540-48168-0_22openalex-snapshot
A Road-Map on Complexity for Hybrid Logics
inferred← citeshttps://doi.org/10.1007/978-0-387-30440-3_495openalex-snapshot
Social Networks and Granular Computing
inferred← citeshttps://doi.org/10.1007/978-1-0716-2628-3_495openalex-snapshot
Social Networks and Granular Computing
inferred← citeshttps://doi.org/10.1007/978-1-4613-0897-3_24openalex-snapshot
Propositional Dynamic Logic in Two- and More Dimensions
inferred← citeshttps://doi.org/10.1007/978-1-4614-1800-9_183openalex-snapshot
Social Networks and Granular Computing
inferred← citeshttps://doi.org/10.1007/978-3-642-27737-5_495-5openalex-snapshot
Social Networks and Granular Computing
inferred← citeshttps://doi.org/10.1007/978-3-642-27737-5_495-6openalex-snapshot
Social Networks and Granular Computing
inferred← citeshttps://doi.org/10.1007/978-3-662-58771-3_2openalex-snapshot
Propositional Modal Logic with Implicit Modal Quantification
inferred← citeshttps://doi.org/10.1007/978-3-662-60292-8_16openalex-snapshot
Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes
inferred← citeshttps://doi.org/10.1007/978-94-007-0002-4_1openalex-snapshot
Introduction to Hybrid Logic
inferred← citeshttps://doi.org/10.1007/978-94-011-4040-9_4openalex-snapshot
Discipline as Logic: Treating Labels as First Class Citizens
inferred← citeshttps://doi.org/10.1007/bf00215625openalex-snapshot
Hierarchies of modal and temporal logics with reference pointers
inferred← citeshttps://doi.org/10.1007/s10670-015-9730-5openalex-snapshot
The Fitch-Church Paradox and First Order Modal Logic
inferred← citeshttps://doi.org/10.1007/s11225-018-9784-xopenalex-snapshot
The Monodic Fragment of Propositional Term Modal Logic
inferred← citeshttps://doi.org/10.1016/0304-3975(88)90126-0openalex-snapshot
Determinism and looping in combinatory PDL
inferred← citeshttps://doi.org/10.1016/0890-5401(91)90026-xopenalex-snapshot
An essay in combinatory dynamic logic
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80017-6openalex-snapshot
14 Hybrid logics
inferred← citeshttps://doi.org/10.1023/a:1013842612702openalex-snapshot
Term-Modal Logics
inferred← citeshttps://doi.org/10.1023/a:1018988913388openalex-snapshot
Hybridizing concept languages
inferred← citeshttps://doi.org/10.1093/logcom/11.5.657openalex-snapshot
Bringing them all Together
inferred← citeshttps://doi.org/10.1145/3209108.3209151openalex-snapshot
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
inferred← citeshttps://doi.org/10.22028/d291-26295openalex-snapshot
Incremental decision procedures for modal logics with nominals and eventualities
inferred← citeshttps://doi.org/10.2307/2275203openalex-snapshot
European Summer Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.2307/2695090openalex-snapshot
Hybrid logics: characterization, interpolation and complexity
inferred← citeshttps://doi.org/10.70675/3a23b5f9z537cz4dd0z9fd8z42fe13aeb3abopenalex-snapshot
Reasoning Tasks for Hybrid 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.