Buchumschlag

A Linear Temporal Logic of Frequencies on Series of Events

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Antonelli, Melissa, Ceragioli, Leonardo, Buda, Alessandro Giuseppe, Primiero, Giuseppe
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
von: Buda, Alessandro G., et al.
Veröffentlicht: (2026)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
von: Ceragioli, Leonardo, et al.
Veröffentlicht: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
von: Ceragioli, Leonardo, et al.
Veröffentlicht: (2025)

Trustworthiness Preservation by Copies of Machine Learning Systems
von: Ceragioli, Leonardo, et al.
Veröffentlicht: (2025)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
von: Genco, Francesco A., et al.
Veröffentlicht: (2023)

Data quality dimensions for fair AI
von: Quaresmini, Camilla, et al.
Veröffentlicht: (2023)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Guarded Successor: A Novel Temporal Logic
von: Asor, Ohad
Veröffentlicht: (2024)

A Coalgebraic Model of Quantum Bisimulation
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2025)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
von: D'Asaro, Fabio Aurelio, et al.
Veröffentlicht: (2022)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
von: Artale, Alessandro, et al.
Veröffentlicht: (2022)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2024)

Proof Complexity of Linear Logics
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Skolemisation for Intuitionistic Linear Logic
von: Bruni, Alessandro, et al.
Veröffentlicht: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
von: Ikeda, Mitsumasa, et al.
Veröffentlicht: (2023)

Linear Temporal Justification Logics with Past Operators
von: Ghari, Meghdad
Veröffentlicht: (2018)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Semantics for Linear-time Temporal Logic with Finite Observations
von: Amjad, Rayhana, et al.
Veröffentlicht: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
von: Aghamov, Rajab, et al.
Veröffentlicht: (2025)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Policies for Fair Exchanges of Resources
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

A General Automata Model for First-Order Temporal Logics (Extended Version)
von: Geatti, Luca, et al.
Veröffentlicht: (2024)

TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
von: Schewe, Klaus-Dieter, et al.
Veröffentlicht: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
von: Lyon, Tim S.
Veröffentlicht: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
von: Marin, Sonia, et al.
Veröffentlicht: (2025)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

A Study on Actions for Atomic Logics
von: Espejo-Boix, Raül
Veröffentlicht: (2024)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Constructive Quantum Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Dynamic Cantor Derivative Logic
von: Fernández-Duque, David, et al.
Veröffentlicht: (2021)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
von: Seiller, Thomas
Veröffentlicht: (2020)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)