On the public citation graph
Interval semantics for tense logic: Some remarks
0 signed · 120 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/bf00351936openalex-snapshot
Toward a semantic analysis of verb aspect and the English ?imperfective? progressive
inferredcites →https://doi.org/10.1016/s0049-237x(08)71685-9openalex-snapshot
Semantical Analysis of Intuitionistic Logic I
inferredcites →https://doi.org/10.1017/cbo9780511897696.011openalex-snapshot
Two theories about adjectives
inferredcites →https://doi.org/10.1093/aristoteliansupp/50.1.69openalex-snapshot
Aristotle on the Instant of Change
inferredcites →https://doi.org/10.1093/bjps/iv.15.215openalex-snapshot
WHITEHEAD'S METHOD OF EXTENSIVE ABSTRACTION
inferredcites →https://doi.org/10.1093/oso/9780195136975.003.0029openalex-snapshot
A Semantic Theory of Adverbs
inferredcites →https://doi.org/10.1111/j.1755-2567.1967.tb00609.xopenalex-snapshot
On the Logic of “To‐morrow”1
inferredcites →https://doi.org/10.1111/j.1755-2567.1968.tb00337.xopenalex-snapshot
Propositional Logics Related to Heyting's and Johansson's
inferredcites →https://doi.org/10.1111/j.1755-2567.1970.tb00429.xopenalex-snapshot
Modal logics with linear alternative relations
inferredcites →https://doi.org/10.2307/2266169openalex-snapshot
The calculus of individuals and its uses
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/10720084_7openalex-snapshot
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic
inferred← citeshttps://doi.org/10.1007/3-540-49116-3_49openalex-snapshot
Completeness of Neighbourhood Logic
inferred← citeshttps://doi.org/10.1007/978-1-4020-2808-3_7openalex-snapshot
If Logic, Game-Theoretical Semantics, and the Philosophy of Science
inferred← citeshttps://doi.org/10.1007/978-1-4471-3421-3_15openalex-snapshot
An Amalgamated Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-29415-0_31openalex-snapshot
Fine on the Possibility of Vagueness
inferred← citeshttps://doi.org/10.1007/978-3-031-43977-3_7openalex-snapshot
A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-45558-2_14openalex-snapshot
A Temporal Logic for Successive Events
inferred← citeshttps://doi.org/10.1007/978-3-540-30231-5_18openalex-snapshot
Simplifying Sets of Events by Selecting Temporal Relations
inferred← citeshttps://doi.org/10.1007/978-3-540-72734-7_23openalex-snapshot
Hypersequent Calculus for Intuitionistic Logic with Classical Atoms
inferred← citeshttps://doi.org/10.1007/978-3-642-73005-4_13openalex-snapshot
Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen in der KI
inferred← citeshttps://doi.org/10.1007/978-94-009-0349-4_4openalex-snapshot
Combining Classical and Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/bf00132736openalex-snapshot
Managing tasks using an interval-based temporal logic
inferred← citeshttps://doi.org/10.1007/bf00370347openalex-snapshot
To be and not to be: Dialectical tense logic
inferred← citeshttps://doi.org/10.1007/bf01211086openalex-snapshot
Duration calculus: Logical foundations
inferred← citeshttps://doi.org/10.1007/s10849-015-9219-2openalex-snapshot
Weak Negation in Inquisitive Semantics
inferred← citeshttps://doi.org/10.1007/s11225-023-10067-0openalex-snapshot
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
inferred← citeshttps://doi.org/10.1007/s11704-013-2195-2openalex-snapshot
A survey on temporal logics for specifying and verifying real-time systems
inferred← citeshttps://doi.org/10.1016/0004-3702(87)90052-xopenalex-snapshot
Temporal logics in AI: Semantical and ontological considerations
inferred← citeshttps://doi.org/10.1016/j.apal.2009.07.013openalex-snapshot
Hypersequent calculi for intuitionistic logic with classical atoms
inferred← citeshttps://doi.org/10.1016/s1570-8683(03)00002-8openalex-snapshot
Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies
inferred← citeshttps://doi.org/10.1017/s0269888900004896openalex-snapshot
A review of temporal logics
inferred← citeshttps://doi.org/10.1023/a:1005003904639openalex-snapshot
Natural Deduction for Non-Classical Logics
inferred← citeshttps://doi.org/10.1080/00048401003649591openalex-snapshot
Negation and Temporal Ontology
inferred← citeshttps://doi.org/10.1080/095281397146979openalex-snapshot
A flexible architecture for autonomous agents
inferred← citeshttps://doi.org/10.1093/9780198921318.003.0003openalex-snapshot
Metaphysical Relativity and Standpoint Adoption
inferred← citeshttps://doi.org/10.1093/9780198921318.003.0004openalex-snapshot
Standpoint Pluralism and Fragmentalist Metaphysics
inferred← citeshttps://doi.org/10.1093/9780198921318.003.0005openalex-snapshot
Further Elucidation of the Fragmentalist Metaphysics
inferred← citeshttps://doi.org/10.1093/9780198921318.003.0007openalex-snapshot
A Fragmentalist Theory of Time
inferred← citeshttps://doi.org/10.1093/9780198921318.003.0009openalex-snapshot
Spacetime and the Lessons of Relativistic Physics
inferred← citeshttps://doi.org/10.1093/9780198921318.003.0011openalex-snapshot
The Phenomenal Character of Consciousness
inferred← citeshttps://doi.org/10.1093/9780198921318.003.0012openalex-snapshot
The Subjective Fact of Being Oneself
inferred← citeshttps://doi.org/10.1093/9780198921318.003.0013openalex-snapshot
Conflicting Appearances and Sensible Properties
inferred← citeshttps://doi.org/10.1093/9780198921318.003.0015openalex-snapshot
Concluding Remarks on Methodology and Motivation
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.001.0001openalex-snapshot
In Contradiction
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.002.0007openalex-snapshot
Preface of First Edition
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.002.0008openalex-snapshot
Preface of Second Edition
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0001openalex-snapshot
Dialetheism
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0002openalex-snapshot
Semantic Paradoxes
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0003openalex-snapshot
Set Theoretic Paradoxes
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0004openalex-snapshot
Gödel's Theorem
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0005openalex-snapshot
Truth and Falsity
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0006openalex-snapshot
Dialetheic Semantics for Extensional Connectives
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0009openalex-snapshot
The Disjunctive Syllogism and Quasi-Validity
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0010openalex-snapshot
Semantic Closure and the Philosophy of Language
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0011openalex-snapshot
Set Theory and The Philosophy of Mathematics
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0012openalex-snapshot
The Metaphysics of Change I: The Instant of Change
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0013openalex-snapshot
The Metaphysics of Change II: Motion
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0014openalex-snapshot
Norms and the Philosophy of Law
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0015openalex-snapshot
The Transconsistent
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0016openalex-snapshot
The Metaphysics of Change III: Time
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0017openalex-snapshot
Minimally InconsistentLP
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0018openalex-snapshot
Inconsistent Arithmetic
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0019openalex-snapshot
Paraconsistent Set Theory
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0020openalex-snapshot
Autocommentary on the First Edition
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0021openalex-snapshot
Comments on Some Critics
inferred← citeshttps://doi.org/10.1093/jigpal/jzk003openalex-snapshot
A Minimal Hybrid Logic for Intervals
inferred← citeshttps://doi.org/10.1093/logcom/exi039openalex-snapshot
Modal Logics of Regions and Minkowski Spacetime
inferred← citeshttps://doi.org/10.1093/logcom/exw024openalex-snapshot
A bimodal perspective on possibility semantics
inferred← citeshttps://doi.org/10.1093/oso/9780198798705.003.0016openalex-snapshot
Moderate Modal Skepticism
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780192856852.013.4openalex-snapshot
Future Displacement and Modality
inferred← citeshttps://doi.org/10.1109/time.2001.930702openalex-snapshot
Representing temporal interval relationships in a first order logic for time
inferred← citeshttps://doi.org/10.1134/s003294601602006xopenalex-snapshot
On interval modal logic with “after” relation
inferred← citeshttps://doi.org/10.1145/115234.115351openalex-snapshot
A propositional modal logic of time intervals
inferred← citeshttps://doi.org/10.1145/267658.267729openalex-snapshot
Decision making and plan management by autonomous agents
inferred← citeshttps://doi.org/10.12775/llp.2018.007openalex-snapshot
Supervenience, Dependence, Disjunction
inferred← citeshttps://doi.org/10.1305/ndjfl/1040067317openalex-snapshot
Refining Temporal Reference in Event Structures
inferred← citeshttps://doi.org/10.15344/2456-351x/2017/135openalex-snapshot
An Annotated Bibliography on Spatio-temporal Modelling Trends
inferred← citeshttps://doi.org/10.26686/ajl.v20i3.7696openalex-snapshot
Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic
inferred← citeshttps://doi.org/10.2977/prims/1195181417openalex-snapshot
The Completeness Theorems for Some Intuitionistic Epistemic Logics In Terms of Interval Semantics
inferred← citeshttps://doi.org/10.30965/26664275-01301009openalex-snapshot
John Buridan’s Sophismata and Interval Temporal Semantics
inferred← citeshttps://doi.org/10.30965/9783957439307_011openalex-snapshot
John Buridan's Sophismata and Interval Temporal Semantics
inferred← citeshttps://doi.org/10.31390/gradschool_disstheses.4456openalex-snapshot
Resolution Proof Technique in Linear Temporal Logic.
inferred← citeshttps://doi.org/10.3166/jancl.14.9-54openalex-snapshot
A Road Map of Interval Temporal Logics and Duration Calculi
inferred← citeshttps://doi.org/10.3217/jucs-008-08-0793openalex-snapshot
Reasoning with Intervals on Granules
inferred← citeshttps://doi.org/10.3989/pirineos.2013.168002openalex-snapshot
Seguimiento de la diversidad de líquenes y cambio climático en Sierra Nevada (España)
inferred← citeshttps://doi.org/10.4204/eptcs.358.13openalex-snapshot
Another Combination of Classical and Intuitionistic Conditionals
inferred← citeshttps://doi.org/10.4204/eptcs.358.3openalex-snapshot
Combining First-Order Classical and Intuitionistic Logic
inferred← citeshttps://doi.org/10.4288/jafpos.33.0_145openalex-snapshot
How Can We Avoid Popper's Collapsing Problem and Have Craig Interpolation?
inferred← citeshttps://doi.org/10.48550/arxiv.1005.3200openalex-snapshot
Real-time and Probabilistic Temporal Logics: An Overview
inferred← citeshttps://doi.org/10.70675/86654c7czfd60z4f8ezb267z288b6137b6c9openalex-snapshot
A qualitative spatio-temporal modelling and reasoning approach for the representation of moving entities
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.