Image de couverture de livre

Robust Computation Tree Logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Nayak, Satya Prakash, Neider, Daniel, Roy, Rajarshi, Zimmermann, Martin
Format:	Preprint
Publié:	2022
Sujets:	Logic in Computer Science F.4.1; I.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Modal Logics -- RNmatrices vs. Nmatrices
par: Coniglio, Marcelo E., et autres
Publié: (2024)

Locality in Residuated-Lattice Structures
par: Carr, James
Publié: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
par: Catta, Davide, et autres
Publié: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
par: Barlatier, Patrick, et autres
Publié: (2025)

Logic interpretations of ANN partition cells
par: Schmitt, Ingo
Publié: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
par: Cate, Balder ten, et autres
Publié: (2024)

A Sequent Calculus for General Inductive Definitions
par: Eede, Robbe Van den, et autres
Publié: (2026)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
par: Mustafa, Daham, et autres
Publié: (2026)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
par: Galimullin, Rustam, et autres
Publié: (2026)

TPTP World Infrastructure for Non-classical Logics
par: Steen, Alexander, et autres
Publié: (2025)

Formal Verification of Diffusion Auctions
par: Galimullin, Rustam, et autres
Publié: (2025)

Comparing State-Representations for DEL Model Checking
par: Behnke, Gregor, et autres
Publié: (2025)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
par: Galimullin, Rustam, et autres
Publié: (2025)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
par: Tsamoura, Efthymia, et autres
Publié: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
par: Jung, Jean Christoph, et autres
Publié: (2023)

Uniform Substitution for Differential Refinement Logic
par: Prebet, Enguerrand, et autres
Publié: (2024)

First-Order Coalition Logic
par: Catta, Davide, et autres
Publié: (2025)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
par: David, Robert, et autres
Publié: (2025)

Classification of Covering Spaces and Canonical Change of Basepoint
par: Wemmenhove, Jelle, et autres
Publié: (2024)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
par: Zhang, Liao, et autres
Publié: (2024)

Ground Stratification for a Logic of Definitions with Induction
par: Guermond, Nathan, et autres
Publié: (2025)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
par: Arndt, Dörthe, et autres
Publié: (2025)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
par: Jaakkola, Reijo, et autres
Publié: (2024)

Towards Weak Stratification for Logics of Definitions
par: Guermond, Nathan
Publié: (2026)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
par: Waldinger, Richard
Publié: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
par: Prebet, Enguerrand, et autres
Publié: (2026)

Which are the True Defeasible Logics?
par: Maher, Michael J.
Publié: (2024)

Varieties of Distributed Knowledge
par: Galimullin, Rustam, et autres
Publié: (2025)

Provably Correct Systems: Community, connections, and citations
par: Bowen, Jonathan P.
Publié: (2015)

Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
par: Mustafa, Daham, et autres
Publié: (2026)

Interpretable classifiers for tabular data via discretization and feature selection
par: Jaakkola, Reijo, et autres
Publié: (2024)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
par: Zhang, Xindi, et autres
Publié: (2025)

Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
par: Sundaram, Aarthi, et autres
Publié: (2021)

A Graphical Interface for Category Theory Proofs in Coq
par: Chabassier, Luc
Publié: (2025)

Experiments with Choice in Dependently-Typed Higher-Order Logic
par: Ranalter, Daniel, et autres
Publié: (2024)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
par: Steen, Alexander, et autres
Publié: (2022)

T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent
par: Yu, Hong Qing
Publié: (2025)

Converting BPMN Diagrams to Privacy Calculus
par: Pitsiladis, Georgios V., et autres
Publié: (2024)

A foundational characterization of Hoare Logic
par: Leivant, Daniel
Publié: (2026)