On the public citation graph

Intuitionistic Linear Temporal Logics

https://doi.org/10.1145/3365833
0 signed · 51 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/3-540-63141-0_24openalex-snapshot
Bisimulation and propositional intuitionistic logic
inferredcites →https://doi.org/10.1007/978-3-319-97755-3openalex-snapshot
Handbook of Philosophical Logic
inferredcites →https://doi.org/10.1007/978-3-540-30124-0_24openalex-snapshot
Intuitionistic LTL and a New Characterization of Safety and Liveness
inferredcites →https://doi.org/10.1007/978-3-642-60085-2_17openalex-snapshot
Stable Models and an Alternative Logic Programming Paradigm
inferredcites →https://doi.org/10.1007/s10472-006-9028-zopenalex-snapshot
Equilibrium logic
inferredcites →https://doi.org/10.1016/0020-0190(77)90078-3openalex-snapshot
On the partial computation principle
inferredcites →https://doi.org/10.1016/j.apal.2006.01.001openalex-snapshot
Non-primitive recursive decidability of products of modal logics with expanding domains
inferredcites →https://doi.org/10.1016/j.apal.2009.07.009openalex-snapshot
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations
inferredcites →https://doi.org/10.1016/j.apal.2010.09.009openalex-snapshot
Cut-free formulations for a quantified logic of here and there
inferredcites →https://doi.org/10.1016/j.jal.2005.06.007openalex-snapshot
A general method for proving decidability of intuitionistic modal logics
inferredcites →https://doi.org/10.1016/j.jal.2009.06.001openalex-snapshot
Combining linear-time temporal logic with constructiveness and paraconsistency
inferredcites →https://doi.org/10.1017/cbo9781107050884openalex-snapshot
Modal Logic
inferredcites →https://doi.org/10.1017/s1471068415000277openalex-snapshot
A denotational semantics for equilibrium logic
inferredcites →https://doi.org/10.1023/a:1008223921944openalex-snapshot
Bisimulations for Temporal Logic
inferredcites →https://doi.org/10.1023/a:1018930122475openalex-snapshot
Logic programs with stable model semantics as a constraint programming paradigm
inferredcites →https://doi.org/10.1090/s0002-9947-1960-0111704-1openalex-snapshot
Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
inferredcites →https://doi.org/10.1109/sfcs.1977.32openalex-snapshot
The temporal logic of programs
inferredcites →https://doi.org/10.1145/2043174.2043195openalex-snapshot
Answer set programming at a glance
inferredcites →https://doi.org/10.1145/3011069openalex-snapshot
A Temporal Logic Approach to Binding-Time Analysis
inferredcites →https://doi.org/10.1145/382780.382785openalex-snapshot
A modal analysis of staged computation
inferredcites →https://doi.org/10.1145/567532openalex-snapshot
Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '81
inferredcites →https://doi.org/10.2307/2273953openalex-snapshot
Intuitionistic tense and modal logic
inferredcites →https://doi.org/10.2307/797956openalex-snapshot
A Short Introduction to Intuitionistic Logic
inferredcites →https://doi.org/10.23638/lmcs-14(3:3)2018openalex-snapshot
The intuitionistic temporal logic of dynamical systems
inferredcites →https://doi.org/10.48550/arxiv.1804.03217openalex-snapshot
An intuitionistic axiomatization of `eventually'

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-19570-0_49openalex-snapshot
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-88708-7_14openalex-snapshot
On the Finite Model Property of Weak Intuitionistic Tense Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-15298-6_2openalex-snapshot
Time and Gödel: Fuzzy Temporal Reasoning in PSPACE
inferred← citeshttps://doi.org/10.1007/978-3-031-43513-3_13openalex-snapshot
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-74209-5_23openalex-snapshot
A Fixpoint Characterisation of Temporal Equilibrium Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-06085-3_20openalex-snapshot
Intuitionistic $$\mu $$-Calculus with the Lewis Arrow
inferred← citeshttps://doi.org/10.1007/978-3-032-22817-8_12openalex-snapshot
An Intuitionistic Version of Computation Tree Logic
inferred← citeshttps://doi.org/10.1016/j.artint.2024.104236openalex-snapshot
Gödel–Dummett linear temporal logic
inferred← citeshttps://doi.org/10.1017/jsl.2022.8openalex-snapshot
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
inferred← citeshttps://doi.org/10.1017/s1471068421000089openalex-snapshot
Exploring the Jungle of Intuitionistic Temporal Logics
inferred← citeshttps://doi.org/10.1017/s1471068421000557openalex-snapshot
Linear-Time Temporal Answer Set Programming
inferred← citeshttps://doi.org/10.1017/s147106842610043xopenalex-snapshot
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
inferred← citeshttps://doi.org/10.1088/1742-6596/2096/1/012173openalex-snapshot
Modeling of Industrial and Technological Processes in Complex Systems Based on Neuro-Fuzzy Petri Nets
inferred← citeshttps://doi.org/10.1093/logcom/exab041openalex-snapshot
A strongly complete axiomatization of intuitionistic temporal logic
inferred← citeshttps://doi.org/10.1109/inforino53888.2022.9782997openalex-snapshot
Design and Implementation of Information-Analytical and Industrial and Technological Processes in Production Based on Neuro-Fuzzy Petri Nets
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470643openalex-snapshot
Some constructive variants of S4 with the finite model property
inferred← citeshttps://doi.org/10.1134/s1054661824700433openalex-snapshot
Modeling of Planning Processes Based on Temporal Neuro-Fuzzy Petri Nets
inferred← citeshttps://doi.org/10.1145/3610612.3610621openalex-snapshot
Intuitionistic Metric Temporal Logic
inferred← citeshttps://doi.org/10.15388/lmd.2024.37367openalex-snapshot
Multi-succedent sequent calculus for intuitionistic epistemic logic
inferred← citeshttps://doi.org/10.21146/2074-1472-2021-27-2-93-120openalex-snapshot
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
inferred← citeshttps://doi.org/10.24963/kr.2022openalex-snapshot
Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning
inferred← citeshttps://doi.org/10.24963/kr.2022/1openalex-snapshot
A Gödel Calculus for Linear Temporal Logic
inferred← citeshttps://doi.org/10.24963/kr.2023/26openalex-snapshot
A Family of Decidable Bi-intuitionistic Modal Logics
inferred← citeshttps://doi.org/10.4204/eptcs.391.6openalex-snapshot
Reasoning about Intuitionistic Computation Tree Logic
inferred← citeshttps://doi.org/10.48550/arxiv.2009.06544openalex-snapshot
Temporal Answer Set Programming
inferred← citeshttps://doi.org/10.48550/arxiv.2104.15053openalex-snapshot
Some constructive variants of S4 with the finite model property
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.