On the public citation graph
Non-transitive linear temporal logic and logical knowledge operations
0 signed · 49 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/11548669_2openalex-snapshot
A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak’s Information Systems
inferredcites →https://doi.org/10.1007/3-540-60915-6_6openalex-snapshot
An automata-theoretic approach to linear temporal logic
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1007/978-1-4612-4222-2openalex-snapshot
Temporal Verification of Reactive Systems
inferredcites →https://doi.org/10.1007/978-3-642-13232-2_41openalex-snapshot
Multi-agent Logic with Distances Based on Linear Temporal Frames
inferredcites →https://doi.org/10.1007/978-3-642-23863-5_49openalex-snapshot
Chance Discovery and Unification in Linear Modal Logic
inferredcites →https://doi.org/10.1007/978-3-642-38610-7_35openalex-snapshot
Multi-Agent Temporary Logic $ TS4^U_{K_n}$ Based at Non-linear Time and Imitating Uncertainty via Agents’ Interaction
inferredcites →https://doi.org/10.1007/bfb0055090openalex-snapshot
Reasoning about the past with two-way automata
inferredcites →https://doi.org/10.1007/s001530100134openalex-snapshot
Refined common knowledge logics or logics of common information
inferredcites →https://doi.org/10.1016/0165-4896(94)90005-1openalex-snapshot
Reasoning about knowledge
inferredcites →https://doi.org/10.1016/j.apal.2008.03.001openalex-snapshot
Linear temporal logic with until and next, logical consecutions
inferredcites →https://doi.org/10.1016/j.ins.2008.12.008openalex-snapshot
Logic of knowledge and discovery via interacting agents – Decision algorithm for true and satisfiable statements☆
inferredcites →https://doi.org/10.1017/s1755020309990141openalex-snapshot
DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
inferredcites →https://doi.org/10.1093/logcom/1.2.229openalex-snapshot
An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
inferredcites →https://doi.org/10.1093/logcom/exi053openalex-snapshot
Introducing Justification into Epistemic Logic
inferredcites →https://doi.org/10.1093/logcom/exp027openalex-snapshot
Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
inferredcites →https://doi.org/10.1093/logcom/exq020openalex-snapshot
Linear Temporal Logic LTL: Basis for Admissible Rules
inferredcites →https://doi.org/10.1093/oso/9780198537694.003.0001openalex-snapshot
The handling of time: introduction and survey
inferredcites →https://doi.org/10.1142/s0218213006002631openalex-snapshot
MODEL CHECKING FOR MULTIAGENT SYSTEMS: THE MABLE LANGUAGE AND ITS APPLICATIONS
inferredcites →https://doi.org/10.1613/jair.3547openalex-snapshot
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
inferredcites →https://doi.org/10.2178/jsl/1129642119openalex-snapshot
Logical consecutions in discrete linear temporal logic
inferredcites →https://doi.org/10.2307/2271891openalex-snapshot
One hundred and two problems in mathematical logic
inferredcites →https://doi.org/10.2307/2693586openalex-snapshot
Logic and Reality: Essays on the Legacy of Arthur Prior
inferredcites →https://doi.org/10.3233/fun-2002-503-401openalex-snapshot
A Modal Logic for Indiscernibility and Complementarity in Information Systems
inferredcites →https://doi.org/10.48550/arxiv.1406.2783openalex-snapshot
Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility
inferredcites →https://doi.org/10.7551/mitpress/5803.001.0001openalex-snapshot
Reasoning About Knowledge
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-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-981-16-2994-5_17openalex-snapshot
Temporal Multi-Agent’s Logic, Knowledge, Uncertainty, and Plausibility
inferred← citeshttps://doi.org/10.1007/978-981-19-3359-2_1openalex-snapshot
Temporal Logic in Multi-agent Environment
inferred← citeshttps://doi.org/10.1007/978-981-99-3068-5_7openalex-snapshot
Multi-agent Modal Logic Evaluating Implicit Information
inferred← citeshttps://doi.org/10.1007/s10469-020-09581-0openalex-snapshot
Multi-Agent Temporal Nontransitive Linear Logics and the Admissibility Problem
inferred← citeshttps://doi.org/10.1007/s10469-023-09708-zopenalex-snapshot
Dynamic Temporal Logical Operations in Multi-Agent Logics
inferred← citeshttps://doi.org/10.1007/s10469-024-09743-4openalex-snapshot
Multi-Agent Temporal Logics, Information, Unification, and Projectivity
inferred← citeshttps://doi.org/10.1016/j.procs.2019.09.248openalex-snapshot
Chance Discovery and Analysis of Data via Multi-Agent Logics
inferred← citeshttps://doi.org/10.1016/j.procs.2020.09.039openalex-snapshot
Multi-Agent Logic’s Modelling Non-Monotonic Information and Reasoning
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.procs.2022.09.102openalex-snapshot
Temporal Multi-Agents’ Logics Modelling Dynamic Temporal Accessibility Relations
inferred← citeshttps://doi.org/10.1016/j.procs.2023.10.042openalex-snapshot
Algorithms for recognizing formulas with none-stable truth values in branching time logic
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.1134/s1995080220020134openalex-snapshot
Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations
inferred← citeshttps://doi.org/10.17516/1997-1397-2022-15-1-114-124openalex-snapshot
Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
inferred← citeshttps://doi.org/10.33048/semi.2020.17.068openalex-snapshot
Temporal logic with overlap temporal relations generated by time states themselves
inferred← citeshttps://doi.org/10.33048/smzh.2021.62.313openalex-snapshot
Логики ветвящегося времени с мультиагентными отношениями временной достижимости
inferred← citeshttps://doi.org/10.48550/arxiv.1503.08761openalex-snapshot
Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules
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.