On the public citation graph

Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents

https://doi.org/10.1093/logcom/exp027
0 signed · 59 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.1002/1521-3870(200111)47:4<441::aid-malq441>3.0.co;2-jopenalex-snapshot
Construction of an Explicit Basis for Rules Admissible in Modal System S4
inferredcites →https://doi.org/10.1002/malq.19990450409openalex-snapshot
On Finite Model Property for Admissible Rules
inferredcites →https://doi.org/10.1007/11753728_33openalex-snapshot
Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
inferredcites →https://doi.org/10.1007/3-540-46017-9_9openalex-snapshot
Model Checking Knowledge and Time
inferredcites →https://doi.org/10.1007/3-540-46691-6_35openalex-snapshot
Model Checking Knowledge and Time in Systems with Perfect Recall
inferredcites →https://doi.org/10.1007/3-540-48683-6_23openalex-snapshot
Improved Automata Generation for Linear Temporal Logic
inferredcites →https://doi.org/10.1007/3-540-58179-0_72openalex-snapshot
Another look at LTL model checking
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-3-540-68635-4openalex-snapshot
Temporal Logic and State Systems
inferredcites →https://doi.org/10.1007/978-94-010-9868-7openalex-snapshot
The Logic of Time
inferredcites →https://doi.org/10.1007/978-94-015-8879-9_3openalex-snapshot
The Functional Interpretation of Modal Necessity
inferredcites →https://doi.org/10.1007/978-94-015-9586-5openalex-snapshot
Advances in Temporal Logic
inferredcites →https://doi.org/10.1007/bf01160018openalex-snapshot
Logic of transition systems
inferredcites →https://doi.org/10.1007/s001820050114openalex-snapshot
The hierarchical approach to modeling knowledge and common knowledge
inferredcites →https://doi.org/10.1007/s10458-007-9027-4openalex-snapshot
Modal tableaux for verifying stream authentication protocols
inferredcites →https://doi.org/10.1016/0165-4896(94)90005-1openalex-snapshot
Reasoning about knowledge
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot
Temporal and Modal Logic
inferredcites →https://doi.org/10.1016/j.ic.2004.01.003openalex-snapshot
Reasoning about common knowledge with infinitely many agents
inferredcites →https://doi.org/10.1016/s0020-7292(99)00158-7openalex-snapshot
The past, present and future
inferredcites →https://doi.org/10.1017/cbo9780511711787openalex-snapshot
The Description Logic Handbook
inferredcites →https://doi.org/10.1023/a:1026187215321openalex-snapshot
Two Natural Deduction Systems for Hybrid Logic: A Comparison
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/14.3.329openalex-snapshot
Natural Deduction for Hybrid Logic
inferredcites →https://doi.org/10.1093/logcom/8.3.293openalex-snapshot
Decision procedures for BDI logics
inferredcites →https://doi.org/10.1093/logcom/exi025openalex-snapshot
Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
inferredcites →https://doi.org/10.1109/sfcs.1977.32openalex-snapshot
The temporal logic of programs
inferredcites →https://doi.org/10.1137/s0097539797320906openalex-snapshot
Complete Axiomatizations for Reasoning about Knowledge and Time
inferredcites →https://doi.org/10.1145/567446.567462openalex-snapshot
On the temporal analysis of fairness
inferredcites →https://doi.org/10.1145/860606.860609openalex-snapshot
Verifying epistemic properties of multi-agent systems via bounded model checking
inferredcites →https://doi.org/10.2178/jsl/1052669059openalex-snapshot
Constructive interpolation in hybrid logic
inferredcites →https://doi.org/10.2178/jsl/1129642119openalex-snapshot
Logical consecutions in discrete linear temporal logic
inferredcites →https://doi.org/10.2307/2270049openalex-snapshot
An algebraic study of tense logics with linear time
inferredcites →https://doi.org/10.2307/2271097openalex-snapshot
Note on a paper in tense logic
inferredcites →https://doi.org/10.2307/2275439openalex-snapshot
Rules of inference with parameters for intuitionistic logic
inferredcites →https://doi.org/10.2307/2275521openalex-snapshot
Hereditarily structurally complete modal logics
inferredcites →https://doi.org/10.2307/2695090openalex-snapshot
Hybrid logics: characterization, interpolation and complexity

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-07650-8_10openalex-snapshot
Multi-agent Non-linear Temporal Logic with Embodied Agent Describing Uncertainty
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-642-15387-7_27openalex-snapshot
A Framework to Compute Inference Rules Valid in Agents’ Temporal Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-21884-2_4openalex-snapshot
Inference Rules in Multi-agents’ Temporal Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-23851-2_18openalex-snapshot
Agents’ Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions
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-3-642-23863-5_49openalex-snapshot
Chance Discovery and Unification in Linear Modal Logic
inferred← citeshttps://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
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/s10849-026-09461-3openalex-snapshot
Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems
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.08.008openalex-snapshot
Representation of Information and Satisfiability, Algorithms for 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.1093/logcom/exv016openalex-snapshot
Non-transitive linear temporal logic and logical knowledge operations
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/s1995080220020134openalex-snapshot
Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations
inferred← citeshttps://doi.org/10.33048/semi.2020.17.068openalex-snapshot
Temporal logic with overlap temporal relations generated by time states themselves
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.