:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Artale, Alessandro, Geatti, Luca, Gigante, Nicola, Mazzullo, Andrea, Montanari, Angelo
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2211.14913
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A General Automata Model for First-Order Temporal Logics (Extended Version)
di: Geatti, Luca, et al.
Pubblicazione: (2024)

A first-order logic characterization of safety and co-safety languages
di: Cimatti, Alessandro, et al.
Pubblicazione: (2022)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
di: Artale, Alessandro, et al.
Pubblicazione: (2024)

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

Automata-less Monitoring via Trace-Checking (Extended Version)
di: Brunello, Andrea, et al.
Pubblicazione: (2025)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
di: Geatti, Luca, et al.
Pubblicazione: (2024)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
di: Brunello, Andrea, et al.
Pubblicazione: (2025)

Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
di: Brunello, Andrea, et al.
Pubblicazione: (2025)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
di: Chiari, Michele, et al.
Pubblicazione: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

Skolemisation for Intuitionistic Linear Logic
di: Bruni, Alessandro, et al.
Pubblicazione: (2024)

Linear Temporal Justification Logics with Past Operators
di: Ghari, Meghdad
Pubblicazione: (2018)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
di: Reimann, Jesse, et al.
Pubblicazione: (2024)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
di: Lyon, Tim S.
Pubblicazione: (2024)

Dependence Logics in Temporal Settings
di: Baltag, Alexandru, et al.
Pubblicazione: (2022)

Semantics for Linear-time Temporal Logic with Finite Observations
di: Amjad, Rayhana, et al.
Pubblicazione: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
di: Aghamov, Rajab, et al.
Pubblicazione: (2025)

Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
di: Li, Junle, et al.
Pubblicazione: (2025)

Guarded Successor: A Novel Temporal Logic
di: Asor, Ohad
Pubblicazione: (2024)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
di: Lutz, Carsten, et al.
Pubblicazione: (2024)

Efficient Normalization of Linear Temporal Logic
di: Esparza, Javier, et al.
Pubblicazione: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
di: Pshenitsyn, Tikhon
Pubblicazione: (2023)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
di: So, Oswin, et al.
Pubblicazione: (2026)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
di: Ma, Liqian, et al.
Pubblicazione: (2025)

Modelling Multiplicative Linear Logic via Deep Inference
di: Galor, Tomer, et al.
Pubblicazione: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
di: Ikeda, Mitsumasa, et al.
Pubblicazione: (2023)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
di: Ito, Sohei, et al.
Pubblicazione: (2025)

Modal Fragments
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2026)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

The Complexity of Fragments of Second-Order HyperLTL
di: Regaud, Gaëtan, et al.
Pubblicazione: (2025)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2020)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
di: Fiuk, Oskar, et al.
Pubblicazione: (2024)

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
di: Bednarczyk, Bartosz, et al.
Pubblicazione: (2025)

Paraconsistent Constructive Modal Logic
di: Gao, Han, et al.
Pubblicazione: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
di: Seiller, Thomas
Pubblicazione: (2020)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
di: Hansen, Helle Hvid, et al.
Pubblicazione: (2025)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
di: Elad, Neta, et al.
Pubblicazione: (2026)