On the public citation graph

An algebraic study of tense logics with linear time

https://doi.org/10.2307/2270049
0 signed · 47 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.2307/2270582openalex-snapshot
An algebraic study of Diodorean modal systems

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.19950410104openalex-snapshot
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity
inferred← citeshttps://doi.org/10.1002/malq.19960420113openalex-snapshot
Tense Logic Without Tense Operators
inferred← citeshttps://doi.org/10.1002/malq.200410012openalex-snapshot
A note on a subvariety of linear tense algebras
inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_1openalex-snapshot
Modal logic and standard logic
inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_2openalex-snapshot
The syntax of normal modal systems
inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_3openalex-snapshot
The semantics of normal modal systems
inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_4openalex-snapshot
Completeness and canonicity
inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_5openalex-snapshot
Incompleteness and finite models
inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_6openalex-snapshot
Temporal logics
inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_7openalex-snapshot
Epistemic logic: knowledge and belief
inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_8openalex-snapshot
Multimodal logics
inferred← citeshttps://doi.org/10.1007/978-1-4020-8590-1_9openalex-snapshot
Towards quantified modal logic
inferred← citeshttps://doi.org/10.1007/978-3-642-23851-2_32openalex-snapshot
Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers
inferred← citeshttps://doi.org/10.1007/978-94-009-6259-0_2openalex-snapshot
Basic Tense Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-8484-4_9openalex-snapshot
Some Theorems about a “Tree” System of Deontic Tense Logic
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-0462-5_1openalex-snapshot
Basic Tense Logic
inferred← citeshttps://doi.org/10.1007/bf00649989openalex-snapshot
Tense systems with discrete moments of time, part I
inferred← citeshttps://doi.org/10.1007/bf00986121openalex-snapshot
On the problems of time retrieval of temporal relations causality, and coexistence
inferred← citeshttps://doi.org/10.1007/bf01874701openalex-snapshot
Model theory for tense logic: Saturated and special models with applications to the tense hierarchy
inferred← citeshttps://doi.org/10.1016/0003-4843(75)90003-0openalex-snapshot
Model theory for tense logics
inferred← citeshttps://doi.org/10.1016/0003-4843(75)90004-2openalex-snapshot
Decidability results in non-classical logics
inferred← citeshttps://doi.org/10.1016/b978-0-934613-03-3.50033-7openalex-snapshot
Some Philosophical Problems from the Standpoint of Artificial Intelligence
inferred← citeshttps://doi.org/10.1016/c2013-0-07694-3openalex-snapshot
Readings in Artificial Intelligence
inferred← citeshttps://doi.org/10.1016/j.procs.2021.08.026openalex-snapshot
Quantitative Modalities, Possible Applications to Information Analysis
inferred← citeshttps://doi.org/10.1016/j.tcs.2010.09.012openalex-snapshot
Rules admissible in transitive temporal logic TS4 , sufficient condition
inferred← citeshttps://doi.org/10.1016/s0049-237x(03)80019-8openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80010-3openalex-snapshot
7 Modal decision problems
inferred← citeshttps://doi.org/10.1016/s1570-8683(03)00008-9openalex-snapshot
Mathematical modal logic: A view of its evolution
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80027-0openalex-snapshot
Mathematical modal logic: A view of its evolution
inferred← citeshttps://doi.org/10.1017/s002248120009229xopenalex-snapshot
Tense logic for discrete future time
inferred← citeshttps://doi.org/10.1017/s1755020324000121openalex-snapshot
STRONG COMPLETENESS OF A FIRST-ORDER TEMPORAL LOGIC FOR REAL TIME
inferred← citeshttps://doi.org/10.1093/jigpal/8.4.393openalex-snapshot
Algebraic polymodal logic: a survey
inferred← citeshttps://doi.org/10.1093/logcom/exm078openalex-snapshot
Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
inferred← citeshttps://doi.org/10.1093/logcom/exp027openalex-snapshot
Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
inferred← citeshttps://doi.org/10.1093/logcom/exv044openalex-snapshot
On the Priorean temporal logic with [d] over the real line
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1970.tb00429.xopenalex-snapshot
Modal logics with linear alternative relations
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1971.tb00071.xopenalex-snapshot
To the memory of Arthur Prior Formal properties of ‘now’
inferred← citeshttps://doi.org/10.1111/phc3.12221openalex-snapshot
Tense Logic
inferred← citeshttps://doi.org/10.12775/llp.2008.009openalex-snapshot
Discrete linear temporal logic with current time point clusters, deciding algorithms
inferred← citeshttps://doi.org/10.1305/ndjfl/1038949533openalex-snapshot
Modal Logics That Need Very Large Frames
inferred← citeshttps://doi.org/10.1504/ijaip.2010.030535openalex-snapshot
Modelling of Chance Discovery in variations of Linear Temporal Logic implementing agents' interaction
inferred← citeshttps://doi.org/10.2307/2271097openalex-snapshot
Note on a paper in tense logic
inferred← citeshttps://doi.org/10.2307/2272895openalex-snapshot
Reduction of tense logic to modal logic. I
inferred← citeshttps://doi.org/10.2307/2275736openalex-snapshot
Completeness and decidability of tense logics closely related to logics above K4
inferred← citeshttps://doi.org/10.70675/e35fb651z1faaz4ef0z9ed1zb9f7224aac89openalex-snapshot
Appropriation de la temporalité au cours du vieillissement normal et pathologique
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.