Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cimatti, Alessandro, Geatti, Luca, Gigante, Nicola, Montanari, Angelo, Tonetta, Stefano
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
von: Brunello, Andrea, et al.
Veröffentlicht: (2025)

Automata-less Monitoring via Trace-Checking (Extended Version)
von: Brunello, Andrea, et al.
Veröffentlicht: (2025)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
von: Chiari, Michele, et al.
Veröffentlicht: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
von: Geatti, Luca, et al.
Veröffentlicht: (2024)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2023)

Controller Synthesis for Timeline-based Games
von: Acampora, Renato, et al.
Veröffentlicht: (2023)

Defining implication relation for classical logic
von: Fu, Li
Veröffentlicht: (2013)

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

A minimal coalition logic
von: Li, Yinfeng, et al.
Veröffentlicht: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

On logic and generative AI
von: Gurevich, Yuri, et al.
Veröffentlicht: (2024)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2024)

Unifying Asynchronous Logics for Hyperproperties
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2024)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

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

An action language-based formalisation of an abstract argumentation framework
von: Munro, Yann, et al.
Veröffentlicht: (2024)

Neural logic programs and neural nets
von: Antić, Christian
Veröffentlicht: (2024)

Synthesis for prefix first-order logic on data words
von: Grange, Julien, et al.
Veröffentlicht: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
von: Benjamini, Itai, et al.
Veröffentlicht: (2022)

A modal logic translation of the AGM axioms for belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2025)

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

Automatically discovering heuristics in a complex SAT solver with large language models
von: Sun, Yiwen, et al.
Veröffentlicht: (2025)

Learning big logical rules by joining small rules
von: Hocquette, Céline, et al.
Veröffentlicht: (2024)

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

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
von: Andrews, Uri, et al.
Veröffentlicht: (2025)

Intrinsic and relative characterization results for logics with negative modalities
von: de Groot, Jim, et al.
Veröffentlicht: (2025)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
von: Gianola, Alessandro, et al.
Veröffentlicht: (2023)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
von: Cecconi, Alessio, et al.
Veröffentlicht: (2023)

Scaling the weight parameters in Markov logic networks and relational logistic regression models
von: Weitkämper, Felix
Veröffentlicht: (2021)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
von: Ferrando, Angelo
Veröffentlicht: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2025)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
von: Bertagnon, Alessandro, et al.
Veröffentlicht: (2025)

Order-invariant cluster first-order logic on graph classes of bounded degree
von: Ghasemi, Fatemeh, et al.
Veröffentlicht: (2026)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
von: Lanzinger, Matthias, et al.
Veröffentlicht: (2024)