On the public citation graph

Temporal Logic

https://doi.org/10.1007/bfb0013976
0 signed · 192 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 points at this work

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

inferred← citeshttps://doi.org/10.1002/047134608x.w4306openalex-snapshot
Temporal Databases
inferred← citeshttps://doi.org/10.1002/9780470611012.ch3openalex-snapshot
An Introduction to Model Checking
inferred← citeshttps://doi.org/10.1002/9780470996751.ch27openalex-snapshot
Modal Logic
inferred← citeshttps://doi.org/10.1002/9781119991472.refsopenalex-snapshot
References
inferred← citeshttps://doi.org/10.1002/9781405164801.ch10openalex-snapshot
Temporal Logic
inferred← citeshttps://doi.org/10.1002/malq.19960420113openalex-snapshot
Tense Logic Without Tense Operators
inferred← citeshttps://doi.org/10.1002/malq.19960420140openalex-snapshot
Properties of Tense Logics
inferred← citeshttps://doi.org/10.1006/inco.2001.2970openalex-snapshot
An Infinite Hierarchy of Temporal Logics over Branching Time
inferred← citeshttps://doi.org/10.1007/10722086_26openalex-snapshot
The Mosaic Method for Temporal Logics
inferred← citeshttps://doi.org/10.1007/11425274_46openalex-snapshot
Anticipatory Agents Based on Anticipatory Reasoning
inferred← citeshttps://doi.org/10.1007/11532231_14openalex-snapshot
Temporal Logics over Transitive States
inferred← citeshttps://doi.org/10.1007/11539452_40openalex-snapshot
Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces
inferred← citeshttps://doi.org/10.1007/11559306_7openalex-snapshot
A Complete Temporal and Spatial Logic for Distributed Systems
inferred← citeshttps://doi.org/10.1007/11753728_23openalex-snapshot
Expressiveness of Metric Modalities for Continuous Time
inferred← citeshttps://doi.org/10.1007/11821069_43openalex-snapshot
An Expressive Temporal Logic for Real Time
inferred← citeshttps://doi.org/10.1007/3-540-37437-x_10openalex-snapshot
Parallelisierung, Nebenläufigkeit und alternative Modelle
inferred← citeshttps://doi.org/10.1007/3-540-44612-5_58openalex-snapshot
Why so Many Temporal Logics Climb up the Trees?
inferred← citeshttps://doi.org/10.1007/3-540-44669-9_16openalex-snapshot
Modelling Change with the Aid of Knowledge and Time
inferred← citeshttps://doi.org/10.1007/3-540-44683-4_10openalex-snapshot
Linear Temporal Logic and Finite Semigroups
inferred← citeshttps://doi.org/10.1007/3-540-44802-0_18openalex-snapshot
Modal Logic and the Two-Variable Fragment
inferred← citeshttps://doi.org/10.1007/3-540-45510-8_1openalex-snapshot
Model Checking: A Tutorial Overview
inferred← citeshttps://doi.org/10.1007/3-540-45653-8_1openalex-snapshot
Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
inferred← citeshttps://doi.org/10.1007/3-540-45656-2_36openalex-snapshot
Continuous Temporal Models
inferred← citeshttps://doi.org/10.1007/3-540-45685-6_13openalex-snapshot
A Comparison of Two Proof Critics: Power vs. Robustness
inferred← citeshttps://doi.org/10.1007/3-540-45694-5_4openalex-snapshot
Expressive Power of Temporal Logics
inferred← citeshttps://doi.org/10.1007/3-540-45793-3_21openalex-snapshot
A Logic of Probability with Decidable Model-Checking
inferred← citeshttps://doi.org/10.1007/3-540-48523-6_39openalex-snapshot
A Framework for Decidable Metrical Logics
inferred← citeshttps://doi.org/10.1007/3-540-58976-7_8openalex-snapshot
Towards first-order concurrent MetateM
inferred← citeshttps://doi.org/10.1007/3-540-61313-7_62openalex-snapshot
Geometrical structures and modal logic
inferred← citeshttps://doi.org/10.1007/3-540-61313-7_89openalex-snapshot
A tableau calculus for first-order branching time logic
inferred← citeshttps://doi.org/10.1007/978-0-387-39940-9_402openalex-snapshot
Temporal Logic in Database Query Languages
inferred← citeshttps://doi.org/10.1007/978-0-85729-277-3_11openalex-snapshot
Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-0-85729-883-6_2openalex-snapshot
Performance Measurement and Evaluation in Human-in-the-Loop Simulations
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_9openalex-snapshot
Spatial Logic + Temporal Logic = ?
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-1-4020-9374-6_4openalex-snapshot
Fallacies as Cognitive Virtues
inferred← citeshttps://doi.org/10.1007/978-1-4614-8265-9_402openalex-snapshot
Temporal Logic in Database Query Languages
inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5_3openalex-snapshot
Temporal Logic in Information Systems
inferred← citeshttps://doi.org/10.1007/978-1-4899-7993-3_402-2openalex-snapshot
Temporal Logic in Database Query Languages
inferred← citeshttps://doi.org/10.1007/978-3-030-19570-0_52openalex-snapshot
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics
inferred← citeshttps://doi.org/10.1007/978-3-030-86593-1_3openalex-snapshot
First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words
inferred← citeshttps://doi.org/10.1007/978-3-031-35759-6_3openalex-snapshot
On the Choice of Primitives in Tense Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-36226-1_35openalex-snapshot
Solving Temporally Structured Decision Problems in Anticipatory Agent Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-19815-6_5openalex-snapshot
Branching Time Structures and Points of View
inferred← citeshttps://doi.org/10.1007/978-3-319-23534-9_16openalex-snapshot
On Almost Future Temporal Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-26506-3_11openalex-snapshot
Modified Tableaux for Some Kinds of Multimodal Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-27683-0_25openalex-snapshot
Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_11openalex-snapshot
Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_15openalex-snapshot
On Linear Logic of Knowledge and Time
inferred← citeshttps://doi.org/10.1007/978-3-319-99316-4_20openalex-snapshot
Basic Language Learning in Artificial Animals
inferred← citeshttps://doi.org/10.1007/978-3-540-24743-2_19openalex-snapshot
Non-deterministic Temporal Logics for General Flow Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-30122-6_8openalex-snapshot
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_30openalex-snapshot
An Algebraic Approach for Codesign
inferred← citeshttps://doi.org/10.1007/978-3-540-45072-6_22openalex-snapshot
Logical Data Expiration for Fixpoint Extensions of Temporal Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-72734-7_34openalex-snapshot
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-540-72734-7_7openalex-snapshot
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-73208-2_1openalex-snapshot
On First-Order Fragments for Words and Mazurkiewicz Traces
inferred← citeshttps://doi.org/10.1007/978-3-540-74621-8_4openalex-snapshot
Temporalising Logics: Fifteen Years After
inferred← citeshttps://doi.org/10.1007/978-3-540-75454-1_13openalex-snapshot
On the Expressiveness of MTL Variants over Dense Time
inferred← citeshttps://doi.org/10.1007/978-3-540-85762-4_9openalex-snapshot
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_8openalex-snapshot
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_9openalex-snapshot
MTL with Bounded Variability: Decidability and Complexity
inferred← citeshttps://doi.org/10.1007/978-3-540-93802-6_5openalex-snapshot
Phenomenology as a Criterion for Formalism Choice
inferred← citeshttps://doi.org/10.1007/978-3-642-02267-8_18openalex-snapshot
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study
inferred← citeshttps://doi.org/10.1007/978-3-642-04222-5_8openalex-snapshot
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
inferred← citeshttps://doi.org/10.1007/978-3-642-14959-7_2openalex-snapshot
Time Calculation and Temporal Logic Method
inferred← citeshttps://doi.org/10.1007/978-3-642-15349-5_3openalex-snapshot
Temporal Logics over Linear Time Domains Are in PSPACE
inferred← citeshttps://doi.org/10.1007/978-3-642-15393-8_37openalex-snapshot
Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-17679-1_16openalex-snapshot
Temporal Specifications for Services with Unboundedly Many Passive Clients
inferred← citeshttps://doi.org/10.1007/978-3-642-18690-5_6openalex-snapshot
Logical Data Expiration
inferred← citeshttps://doi.org/10.1007/978-3-642-23863-5_49openalex-snapshot
Chance Discovery and Unification in Linear Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-24364-6_1openalex-snapshot
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
inferred← citeshttps://doi.org/10.1007/978-3-642-27266-0_10openalex-snapshot
Parallelism, Concurrency, and Alternative Models
inferred← citeshttps://doi.org/10.1007/978-3-642-28729-9_9openalex-snapshot
Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-59126-6_7openalex-snapshot
Languages, Automata, and Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-47709-0_3openalex-snapshot
On Topologically Relevant Fragments of the Logic of Linear Flows of Time
inferred← citeshttps://doi.org/10.1007/978-3-662-60292-8_25openalex-snapshot
A Neutral Temporal Deontic STIT Logic
inferred← citeshttps://doi.org/10.1007/978-88-470-0580-8_18openalex-snapshot
Note bibliografiche
inferred← citeshttps://doi.org/10.1007/978-90-481-9452-0_4openalex-snapshot
Norms in Action: A Logical Perspective
inferred← citeshttps://doi.org/10.1007/978-94-010-0413-8_10openalex-snapshot
Hoare Logic: From First-Order to Propositional Formalism
inferred← citeshttps://doi.org/10.1007/978-94-011-4040-9_9openalex-snapshot
Semantics for Temporal Annotated Constraint Logic Programming
inferred← citeshttps://doi.org/10.1007/978-94-011-4574-9_2openalex-snapshot
Research Themes of Dov Gabbay
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-0456-4_2openalex-snapshot
Dynamic Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0462-5_2openalex-snapshot
Advanced Tense Logic
inferred← citeshttps://doi.org/10.1007/bf00370836openalex-snapshot
Axiomatising first-order temporal logic: Until and since over linear time
inferred← citeshttps://doi.org/10.1007/bf01049409openalex-snapshot
Finite H-dimension does not imply expressive completeness
inferred← citeshttps://doi.org/10.1007/bf03160263openalex-snapshot
Programming with conditionals: Epistemic Programming for scientific discovery
inferred← citeshttps://doi.org/10.1007/bfb0013984openalex-snapshot
Axiomatizing U and S over integer time
inferred← citeshttps://doi.org/10.1007/bfb0013993openalex-snapshot
Synchronized histories in prior-thomason representation of branching time
inferred← citeshttps://doi.org/10.1007/bfb0014160openalex-snapshot
First-order queries over temporal databases inexpressible in temporal logic
inferred← citeshttps://doi.org/10.1007/bfb0014161openalex-snapshot
Querying TSQL2 databases with temporal logic
inferred← citeshttps://doi.org/10.1007/bfb0029972openalex-snapshot
A topological generalization of propositional linear time temporal logic
inferred← citeshttps://doi.org/10.1007/bfb0035645openalex-snapshot
Cactus: A branching-time logic programming language
inferred← citeshttps://doi.org/10.1007/s00153-004-0237-zopenalex-snapshot
An approach to infinitary temporal proof theory
inferred← citeshttps://doi.org/10.1007/s00224-007-9059-9openalex-snapshot
Branching Time Logics $\mathcal {BTL}^{\mathrm {U,S}}_{\mathrm {N},\mathrm {N}^{-1}}(\mathcal {Z})_{\alpha }$ with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms
inferred← citeshttps://doi.org/10.1007/s00224-016-9700-6openalex-snapshot
The Complexity of Model Checking Multi-Stack Systems
inferred← citeshttps://doi.org/10.1007/s00453-018-0515-5openalex-snapshot
Backdoors for Linear Temporal Logic
inferred← citeshttps://doi.org/10.1007/s10458-010-9153-2openalex-snapshot
The adversarial activity model for bounded rational agents
inferred← citeshttps://doi.org/10.1007/s10472-013-9337-yopenalex-snapshot
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
inferred← citeshttps://doi.org/10.1007/s10506-012-9123-xopenalex-snapshot
Contrary to time conditionals in Talmudic logic
inferred← citeshttps://doi.org/10.1007/s10559-017-9953-3openalex-snapshot
Some Subsets of Monadic First-Order Logic (MFO) Used for the Specification and Synthesis of Σ-Automata
inferred← citeshttps://doi.org/10.1007/s10670-020-00296-3openalex-snapshot
The Modal Logic of Potential Infinity: Branching Versus Convergent Possibilities
inferred← citeshttps://doi.org/10.1007/s10992-007-9050-6openalex-snapshot
A Two Dimensional Tense-modal Sortal Logic
inferred← citeshttps://doi.org/10.1007/s10992-009-9122-xopenalex-snapshot
Temporal Reference in Linear Tense Logic
inferred← citeshttps://doi.org/10.1007/s10992-011-9209-zopenalex-snapshot
Predicate Metric Tense Logic for ‘Now’ and ‘Then’
inferred← citeshttps://doi.org/10.1007/s10992-015-9355-9openalex-snapshot
Time and Determinism
inferred← citeshttps://doi.org/10.1007/s10992-015-9365-7openalex-snapshot
Combinations of Stit with Ought and Know
inferred← citeshttps://doi.org/10.1007/s10992-015-9369-3openalex-snapshot
Axiomatization of a Branching Time Logic with Indistinguishability Relations
inferred← citeshttps://doi.org/10.1007/s11225-005-3702-8openalex-snapshot
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete
inferred← citeshttps://doi.org/10.1007/s11225-006-8104-zopenalex-snapshot
Quantification over Sets of Possible Worlds in Branching-Time Semantics
inferred← citeshttps://doi.org/10.1007/s11229-013-0365-2openalex-snapshot
On the axiomatizability of some first-order spatio-temporal theories
inferred← citeshttps://doi.org/10.1007/s11229-015-0905-zopenalex-snapshot
Partial and paraconsistent approaches to future contingents in tense logic
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.1007/s11787-012-0073-6openalex-snapshot
Axiomatising the Prior Future in Predicate Logic
inferred← citeshttps://doi.org/10.1007/s11787-012-0074-5openalex-snapshot
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators
inferred← citeshttps://doi.org/10.1007/s40534-015-0083-1openalex-snapshot
Multi-agent communication-based train control system for Indian railways: the behavioural analysis
inferred← citeshttps://doi.org/10.1007/springerreference_63518openalex-snapshot
Temporal Logic in Database Query Languages
inferred← citeshttps://doi.org/10.1016/j.ic.2004.12.002openalex-snapshot
Timer formulas and decidable metric temporal logic
inferred← citeshttps://doi.org/10.1016/s0022-0000(03)00005-9openalex-snapshot
The complexity of the temporal logic with “until” over general linear time
inferred← citeshttps://doi.org/10.1016/s0096-0551(98)00009-5openalex-snapshot
Branching-time logic programming: the language Cactus and its applications
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00320-6openalex-snapshot
Rasiowa–Sikorski deduction systems in computer science applications
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00412-7openalex-snapshot
On the equational definition of the least prefixed point
inferred← citeshttps://doi.org/10.1017/9781009170093openalex-snapshot
Temporal Logics
inferred← citeshttps://doi.org/10.1017/s1755020312000299openalex-snapshot
ON FORMALIZING CAUSATION BASED ON CONSTANT CONJUNCTION THEORY
inferred← citeshttps://doi.org/10.1023/a:1004295308014openalex-snapshot
A System of Dynamic Modal Logic
inferred← citeshttps://doi.org/10.1023/a:1015782031903openalex-snapshot
A Theory of Hypermodal Logics: Mode Shifting in Modal Logic
inferred← citeshttps://doi.org/10.1023/a:1017942520078openalex-snapshot
T × W Completeness
inferred← citeshttps://doi.org/10.1023/a:1017951631048openalex-snapshot
The k-variable property is stronger than H-dimension k
inferred← citeshttps://doi.org/10.1023/a:1020163602542openalex-snapshot
Propositional Q-Logic
inferred← citeshttps://doi.org/10.1075/hop.m.mod1openalex-snapshot
Modal logic
inferred← citeshttps://doi.org/10.1080/11663081.1998.10510945openalex-snapshot
The Modal Multilogic of Geometry
inferred← citeshttps://doi.org/10.1080/11663081.1998.10510948openalex-snapshot
Calendar Logic
inferred← citeshttps://doi.org/10.1080/11663081.2015.1018801openalex-snapshot
Separation logics and modalities: a survey
inferred← citeshttps://doi.org/10.1080/11663081.2022.2050135openalex-snapshot
A separation theorem for discrete-time interval temporal logic
inferred← citeshttps://doi.org/10.1080/17459730701666887openalex-snapshot
Timing in music and modal temporal logic
inferred← citeshttps://doi.org/10.1080/18756891.2012.670529openalex-snapshot
A LINGUISTIC TRUTH-VALUE TEMPORAL REASONING (LTR) SYSTEM AND ITS APPLICATION TO THE DESIGN OF AN INTELLIGENT ENVIRONMENT
inferred← citeshttps://doi.org/10.1093/jigpal/jzz081openalex-snapshot
Revisiting separation: Algorithms and complexity
inferred← citeshttps://doi.org/10.1093/logcom/exab030openalex-snapshot
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
inferred← citeshttps://doi.org/10.1093/logcom/exac002openalex-snapshot
One-dimensional fragment over words and trees
inferred← citeshttps://doi.org/10.1109/cdc.2013.6761113openalex-snapshot
Optimal control of multi-vehicle systems with LTL specifications
inferred← citeshttps://doi.org/10.1109/lics.1996.561310openalex-snapshot
An Until hierarchy for temporal logic
inferred← citeshttps://doi.org/10.1109/lics.1997.614950openalex-snapshot
First-order logic with two variables and unary temporal logic
inferred← citeshttps://doi.org/10.1109/lics.1999.782631openalex-snapshot
On the expressive power of CTL
inferred← citeshttps://doi.org/10.1109/time.2007.62openalex-snapshot
Temporalising Tractable Description Logics
inferred← citeshttps://doi.org/10.1134/s0037446617050147openalex-snapshot
Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
inferred← citeshttps://doi.org/10.1134/s0037446618040134openalex-snapshot
Multiagent Temporal Logics with Multivaluations
inferred← citeshttps://doi.org/10.1134/s0037446621030137openalex-snapshot
Branching Time Logics with Multiagent Temporal Accessibility Relations
inferred← citeshttps://doi.org/10.1134/s0037446622040176openalex-snapshot
Multiagent Temporal Logics, Unification Problems, and Admissibilities
inferred← citeshttps://doi.org/10.1142/s0129054108005802openalex-snapshot
A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
inferred← citeshttps://doi.org/10.1142/s0218213007003357openalex-snapshot
A LANGUAGE AND ENVIRONMENT FOR ANALYSIS OF DYNAMICS BY SIMULATION
inferred← citeshttps://doi.org/10.1145/1017068.1017069openalex-snapshot
Introduction to the special issue on temporal information processing
inferred← citeshttps://doi.org/10.1145/1017068.1017070openalex-snapshot
A framework for resolution of time in natural language
inferred← citeshttps://doi.org/10.1145/2757285openalex-snapshot
Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting
inferred← citeshttps://doi.org/10.1145/3603288openalex-snapshot
Formal Methods for Safe Autonomy
inferred← citeshttps://doi.org/10.1145/3603288.3603289openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1145/3603288.3603290openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1145/3603288.3603291openalex-snapshot
Mathematical Preliminaries
inferred← citeshttps://doi.org/10.1145/3603288.3603292openalex-snapshot
Models of Autonomous Systems
inferred← citeshttps://doi.org/10.1145/3603288.3603293openalex-snapshot
Data-driven Verification
inferred← citeshttps://doi.org/10.1145/3603288.3603294openalex-snapshot
Computing Discrepancy
inferred← citeshttps://doi.org/10.1145/3603288.3603295openalex-snapshot
Verification of Models with Black-box Components
inferred← citeshttps://doi.org/10.1145/3603288.3603296openalex-snapshot
Approximate Partial Order Reduction
inferred← citeshttps://doi.org/10.1145/3603288.3603297openalex-snapshot
Controller Synthesis for Linear Systems with Reach-avoid Specification
inferred← citeshttps://doi.org/10.1145/3603288.3603298openalex-snapshot
Conclusions
inferred← citeshttps://doi.org/10.1145/3603288.3603299openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1145/3603288.3603300openalex-snapshot
Author’s Biography/Index
inferred← citeshttps://doi.org/10.1145/3651152openalex-snapshot
Efficient Normalization of Linear Temporal Logic
inferred← citeshttps://doi.org/10.1145/3651161openalex-snapshot
First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
inferred← citeshttps://doi.org/10.1145/383891.383892openalex-snapshot
Querying ATSQL databases with temporal logic
inferred← citeshttps://doi.org/10.1145/635499.635504openalex-snapshot
Logics of metric spaces
inferred← citeshttps://doi.org/10.1162/jocn_a_01292openalex-snapshot
From Believing to Belief: A General Theoretical Model
inferred← citeshttps://doi.org/10.1207/s15327566ijce0501_1openalex-snapshot
Using Time Windows to Evaluate Operator Performance
inferred← citeshttps://doi.org/10.2307/2275595openalex-snapshot
Branching-time logic with quantification over branches: The point of view of modal logic
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.3166/jancl.12.319-363openalex-snapshot
A ModalWalk Through Space
inferred← citeshttps://doi.org/10.3166/jancl.14.209-233openalex-snapshot
A Correspondence between Temporal Description Logics
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.3166/jancl.20.437-455openalex-snapshot
Metric temporal reasoning with less than two clocks
inferred← citeshttps://doi.org/10.3166/jancl.20.63-80openalex-snapshot
On Hamblin's 15 Tense Theorem
inferred← citeshttps://doi.org/10.4204/eptcs.226.7openalex-snapshot
On the Expressive Power of Sub-Propositional Fragments of Modal Logic
inferred← citeshttps://doi.org/10.4204/eptcs.243.5openalex-snapshot
Temporal Justification Logic
inferred← citeshttps://doi.org/10.5772/intechopen.74400openalex-snapshot
Mining HCI Data for Theory of Mind Induction
inferred← citeshttps://doi.org/10.7892/boris.103427openalex-snapshot
Temporal Justification Logic
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.