Copertina

Data-Aware Hybrid Tableaux

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Areces, Carlos, Cassano, Valentin, Fervari, Raul
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Deontic Action Logics: A Modular Algebraic Perspective
di: Areces, Carlos, et al.
Pubblicazione: (2025)

Satisfiability for Knowing How over Linear Plans is NP-complete
di: Areces, Carlos, et al.
Pubblicazione: (2026)

Beyond the Spell: A Dynamic Logic Analysis of Misdirection
di: Icard, Benjamin, et al.
Pubblicazione: (2024)

TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq
di: Rosain, Johann, et al.
Pubblicazione: (2026)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2024)

A Curiously Effective Backtracking Strategy for Connection Tableaux
di: Färber, Michael
Pubblicazione: (2021)

A Study on Actions for Atomic Logics
di: Espejo-Boix, Raül
Pubblicazione: (2024)

Terminating Hybrid Tableaus for Ordered Models
di: Nishimura, Yuki
Pubblicazione: (2025)

A logic for temporal conditionals and a solution to the Sea Battle Puzzle
di: Ju, Fengkui, et al.
Pubblicazione: (2017)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
di: Blot, Valentin, et al.
Pubblicazione: (2024)

Automating Bitvector and Finite Field Equivalence Proofs in Lean
di: Pertseva, Elizaveta, et al.
Pubblicazione: (2026)

Tableaux for epistemic Gödel logic
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Hybrid Modal Operators for Definite Descriptions
di: Wałęga, Przemysław Andrzej, et al.
Pubblicazione: (2024)

Hybrid-Dynamic Ehrenfeucht-Fraisse Games
di: Badia, Guillermo, et al.
Pubblicazione: (2024)

A Generalized Hybrid Hoare Logic
di: Zhan, Naijun, et al.
Pubblicazione: (2023)

Hypergraph Semantics for Doxastic Logics
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2025)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
di: Nishimura, Yuki
Pubblicazione: (2022)

Complete Dynamic Logic of Communicating Hybrid Programs
di: Brieger, Marvin, et al.
Pubblicazione: (2024)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
di: Beiser, Alexander, et al.
Pubblicazione: (2025)

On Translating Epistemic Operators in a Logic of Awareness
di: Kubono, Yudai
Pubblicazione: (2026)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
di: Tulcan, Radu-Florin, et al.
Pubblicazione: (2026)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
di: Goldberg, Eugene
Pubblicazione: (2024)

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes
di: Jin, Xiangyu, et al.
Pubblicazione: (2024)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
di: Kabra, Aditi, et al.
Pubblicazione: (2026)

Resource-Aware Quantum Programming with General Recursion and Quantum Control
di: Chardonnet, Kostia, et al.
Pubblicazione: (2025)

A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems
di: Kundu, Atanu, et al.
Pubblicazione: (2025)

A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
di: Kubono, Yudai, et al.
Pubblicazione: (2025)

Compositional pre-processing for automated reasoning in dependent type theory
di: Blot, Valentin, et al.
Pubblicazione: (2022)

Physically Aware Synthesis Revisited: Guiding Technology Mapping with Primitive Logic Gate Placement
di: Pan, Hongyang, et al.
Pubblicazione: (2024)

Towards a Proof System for Probabilistic Dynamic Logic
di: Johnsen, Einar Broch, et al.
Pubblicazione: (2024)

The Complexity of Data-Free Nfer
di: Kauffman, Sean, et al.
Pubblicazione: (2024)

Demystifying $μ$
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

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

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
di: Herbelin, Hugo
Pubblicazione: (2024)

The strength of the dominance rule
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2024)

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)