Cover Image

A first-order logic characterization of safety and co-safety languages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cimatti, Alessandro, Geatti, Luca, Gigante, Nicola, Montanari, Angelo, Tonetta, Stefano
Format:	Preprint
Published:	2022
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
by: Artale, Alessandro, et al.
Published: (2022)

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

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

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

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

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

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

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

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
by: Bombardelli, Alberto, et al.
Published: (2023)

Controller Synthesis for Timeline-based Games
by: Acampora, Renato, et al.
Published: (2023)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

A minimal coalition logic
by: Li, Yinfeng, et al.
Published: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

On logic and generative AI
by: Gurevich, Yuri, et al.
Published: (2024)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
by: Cimatti, Alessandro, et al.
Published: (2024)

Unifying Asynchronous Logics for Hyperproperties
by: Bombardelli, Alberto, et al.
Published: (2024)

Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

An action language-based formalisation of an abstract argumentation framework
by: Munro, Yann, et al.
Published: (2024)

Neural logic programs and neural nets
by: Antić, Christian
Published: (2024)

Synthesis for prefix first-order logic on data words
by: Grange, Julien, et al.
Published: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
by: Benjamini, Itai, et al.
Published: (2022)

A modal logic translation of the AGM axioms for belief revision
by: Bonanno, Giacomo
Published: (2025)

StepProof: Step-by-step verification of natural language mathematical proofs
by: Hu, Xiaolin, et al.
Published: (2025)

Automatically discovering heuristics in a complex SAT solver with large language models
by: Sun, Yiwen, et al.
Published: (2025)

Learning big logical rules by joining small rules
by: Hocquette, Céline, et al.
Published: (2024)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
by: Ceragioli, Lorenzo, et al.
Published: (2024)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
by: Andrews, Uri, et al.
Published: (2025)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
by: Cecconi, Alessio, et al.
Published: (2023)

Scaling the weight parameters in Markov logic networks and relational logistic regression models
by: Weitkämper, Felix
Published: (2021)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
by: Ferrando, Angelo
Published: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
by: Nicoletti, Stefano M., et al.
Published: (2025)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
by: Bertagnon, Alessandro, et al.
Published: (2025)

Order-invariant cluster first-order logic on graph classes of bounded degree
by: Ghasemi, Fatemeh, et al.
Published: (2026)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
by: Lanzinger, Matthias, et al.
Published: (2024)