Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cimatti, Alessandro, Geatti, Luca, Gigante, Nicola, Montanari, Angelo, Tonetta, Stefano
Format:	Preprint
Publié:	2022
Sujets:	Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
par: Artale, Alessandro, et autres
Publié: (2022)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
par: Brunello, Andrea, et autres
Publié: (2025)

A General Automata Model for First-Order Temporal Logics (Extended Version)
par: Geatti, Luca, et autres
Publié: (2024)

Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
par: Brunello, Andrea, et autres
Publié: (2025)

Automata-less Monitoring via Trace-Checking (Extended Version)
par: Brunello, Andrea, et autres
Publié: (2025)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
par: Chiari, Michele, et autres
Publié: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
par: Geatti, Luca, et autres
Publié: (2024)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
par: Bombardelli, Alberto, et autres
Publié: (2023)

Controller Synthesis for Timeline-based Games
par: Acampora, Renato, et autres
Publié: (2023)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

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

A minimal coalition logic
par: Li, Yinfeng, et autres
Publié: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

On logic and generative AI
par: Gurevich, Yuri, et autres
Publié: (2024)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

A linear proof language for second-order intuitionistic linear logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
par: Cimatti, Alessandro, et autres
Publié: (2024)

Unifying Asynchronous Logics for Hyperproperties
par: Bombardelli, Alberto, et autres
Publié: (2024)

Making first order linear logic a generating grammar
par: Slavnov, Sergey
Publié: (2022)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
par: Oda, Yukihiro, et autres
Publié: (2021)

An action language-based formalisation of an abstract argumentation framework
par: Munro, Yann, et autres
Publié: (2024)

Neural logic programs and neural nets
par: Antić, Christian
Publié: (2024)

Synthesis for prefix first-order logic on data words
par: Grange, Julien, et autres
Publié: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
par: Benjamini, Itai, et autres
Publié: (2022)

A modal logic translation of the AGM axioms for belief revision
par: Bonanno, Giacomo
Publié: (2025)

StepProof: Step-by-step verification of natural language mathematical proofs
par: Hu, Xiaolin, et autres
Publié: (2025)

Automatically discovering heuristics in a complex SAT solver with large language models
par: Sun, Yiwen, et autres
Publié: (2025)

Learning big logical rules by joining small rules
par: Hocquette, Céline, et autres
Publié: (2024)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
par: Ceragioli, Lorenzo, et autres
Publié: (2024)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
par: Andrews, Uri, et autres
Publié: (2025)

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
par: Gianola, Alessandro, et autres
Publié: (2023)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
par: Cecconi, Alessio, et autres
Publié: (2023)

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

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
par: Ferrando, Angelo
Publié: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
par: Nicoletti, Stefano M., et autres
Publié: (2025)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
par: Bertagnon, Alessandro, et autres
Publié: (2025)

Order-invariant cluster first-order logic on graph classes of bounded degree
par: Ghasemi, Fatemeh, et autres
Publié: (2026)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
par: Lanzinger, Matthias, et autres
Publié: (2024)