Copertina

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fang, Liangda, Wang, Xiaoman, Chen, Zhang, Luo, Kailun, Cui, Zhenhe, Guan, Quanlong
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

Uniform Interpolation in Distributed Knowledge Modal Logics
di: Wang, Kexu, et al.
Pubblicazione: (2026)

Complete and Terminating Tableau Calculus for Undirected Graph
di: Nishimura, Yuki, et al.
Pubblicazione: (2024)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
di: Kalala, Kalonji, et al.
Pubblicazione: (2025)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
di: Torres-Ruiz, Mateo, et al.
Pubblicazione: (2025)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
di: Hofmann, Till, et al.
Pubblicazione: (2024)

Abstracting Situation Calculus Action Theories
di: Banihashemi, Bita, et al.
Pubblicazione: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
di: Lyon, Tim S.
Pubblicazione: (2024)

Sound and Complete Proof Rules for Probabilistic Termination
di: Majumdar, Rupak, et al.
Pubblicazione: (2024)

On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
di: Waldmann, Uwe
Pubblicazione: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

The Flower Calculus
di: Donato, Pablo
Pubblicazione: (2024)

Syntactic Effectful Realizability in Higher-Order Logic
di: Cohen, Liron, et al.
Pubblicazione: (2025)

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
di: Ceulemans, Joris, et al.
Pubblicazione: (2024)

The Tensor-Plus Calculus
di: Chardonnet, Kostia, et al.
Pubblicazione: (2025)

On Syntactical Simplification of Temporal Operators in Negation-free MTL
di: van Noort, Mathijs, et al.
Pubblicazione: (2025)

The Modal Logic of Abstraction Refinement
di: Piribauer, Jakob, et al.
Pubblicazione: (2026)

A Rewriting Theory for Quantum Lambda-Calculus
di: Faggian, Claudia, et al.
Pubblicazione: (2024)

A Sequent Calculus For Trace Formula Implication
di: Heidler, Niklas, et al.
Pubblicazione: (2025)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
di: Carette, TItouan, et al.
Pubblicazione: (2022)

On the Completeness of Interpolation Algorithms
di: Hetzl, Stefan, et al.
Pubblicazione: (2024)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
di: Imaz, Gonzalo E.
Pubblicazione: (2024)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
di: Maniwa, Akinori, et al.
Pubblicazione: (2024)

Proofs as Execution Trees for the π-Calculus
di: Acclavio, Matteo, et al.
Pubblicazione: (2024)

Groups and Inverse Semigroups in Lambda Calculus
di: Bucciarelli, Antonio, et al.
Pubblicazione: (2026)

Quantitative Types for the Functional Machine Calculus
di: Heijltjes, Willem
Pubblicazione: (2025)

Six Birds: Foundations of Emergence Calculus
di: Tsiokos, Ioannis
Pubblicazione: (2026)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
di: Cecilia, Gabriele, et al.
Pubblicazione: (2024)

A Classical Linear $λ$-Calculus based on Contraposition
di: Barenbaum, Pablo, et al.
Pubblicazione: (2026)

A Strong Bisimulation for a Classical Term Calculus
di: Bonelli, Eduardo, et al.
Pubblicazione: (2021)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
di: Cecilia, Gabriele
Pubblicazione: (2025)

A Deductive Refinement Calculus for Differential-Algebraic Programs
di: Hellwig, Jonathan, et al.
Pubblicazione: (2026)

Completions of Kleene's second model
di: Terwijn, Sebastiaan A.
Pubblicazione: (2023)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
di: Li, Yongming
Pubblicazione: (2025)

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
di: Jensen, Nicolaj Ø., et al.
Pubblicazione: (2025)

Nested-sequent Calculus for Modal Logic MB
di: Kawano, Tomoaki
Pubblicazione: (2024)

Substitution in the lambda Calculus and the role of the Curry School
di: Kamareddine, Fairouz
Pubblicazione: (2024)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
di: Genco, Francesco A., et al.
Pubblicazione: (2023)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
di: Irani, Khashayar
Pubblicazione: (2025)

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
di: Ernst, Gidon
Pubblicazione: (2026)