Imagen de Portada

Dynamic Separation Logic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	de Boer, Frank S., Hiep, Hans-Dieter A., de Gouw, Stijn
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Systematic Design of Separation Logics
por: Bruni, Roberto, et al.
Publicado: (2026)

Dynamic Cantor Derivative Logic
por: Fernández-Duque, David, et al.
Publicado: (2021)

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

Bifurcation Logic: Separation Through Ordering
por: Galmiche, Didier, et al.
Publicado: (2025)

Relative Completeness of Incorrectness Separation Logic
por: Lee, Yeonseok, et al.
Publicado: (2025)

Cryptis: Cryptographic Reasoning in Separation Logic
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2025)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
por: Lee, Yeonseok, et al.
Publicado: (2025)

Relational semantics for flat Heyting-Lewis Logic
por: de Groot, Jim, et al.
Publicado: (2026)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
por: Jung, Jean Christoph, et al.
Publicado: (2025)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
por: Su, Wanyun, et al.
Publicado: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
por: Lyon, Tim S.
Publicado: (2024)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
por: de Groot, Jim, et al.
Publicado: (2026)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
por: de Groot, Jim, et al.
Publicado: (2024)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
por: Olarte, Carlos, et al.
Publicado: (2024)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
por: Ito, Sohei, et al.
Publicado: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
por: Artale, Alessandro, et al.
Publicado: (2025)

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

Agent-Knowledge Logic for Alternative Epistemic Logic
por: Nishimura, Yuki
Publicado: (2024)

Recursive Mutexes in Separation Logic
por: Du, Ke, et al.
Publicado: (2026)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

Deciding Boolean Separation Logic via Small Models (Technical Report)
por: Dacík, Tomáš, et al.
Publicado: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
por: Lyon, Tim S.
Publicado: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
por: Marin, Sonia, et al.
Publicado: (2025)

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
por: Haselwarter, Philipp G., et al.
Publicado: (2024)

Towards Concurrent Quantitative Separation Logic
por: Fesefeldt, Ira, et al.
Publicado: (2022)

On Propositional Dynamic Logic and Concurrency
por: Acclavio, Matteo, et al.
Publicado: (2024)

Skolemization In Intermediate Logics
por: Baaz, Matthias, et al.
Publicado: (2025)

Constructive Quantum Logics
por: Aguilera, Juan P., et al.
Publicado: (2025)

A Logic of Inability
por: Wang, Shanxia
Publicado: (2026)

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

Dependence Logics in Temporal Settings
por: Baltag, Alexandru, et al.
Publicado: (2022)

Decidability of Quantum Modal Logic
por: Tokuo, Kenji
Publicado: (2026)

A Nominal Approach to Probabilistic Separation Logic
por: Li, John M., et al.
Publicado: (2024)

Dynamic Hypersequents for Public Announcement Logic
por: Lerouvillois, Clara, et al.
Publicado: (2025)

Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity
por: Arratia, Argimiro, et al.
Publicado: (2015)

Logics for Contravariant Simulations
por: Fábregas, Ignacio, et al.
Publicado: (2024)

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

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

Extending Action Logic with Omega Iteration
por: Pshenitsyn, Tikhon
Publicado: (2025)

A Logic of Secrecy on Simplicial Models
por: Wang, Shanxia
Publicado: (2026)