Deciding validity in a spatial logic for trees
From MaRDI portal
Recommendations
- Satisfiability of a Spatial Logic with Tree Variables
- Rules and Refutation Rules for the Logic of Finite n-ary Trees
- A decidable logic for tree data-structures with measurements
- scientific article; zbMATH DE number 4158596
- Tree-like constructions in topology and modal logic
- scientific article; zbMATH DE number 1678388
- Evaluation trees for proposition algebra
- Deciding entailments in inductive separation logic with tree automata
- Tree-sequent calculi and decision procedures for intuitionistic modal logics
- Tree dimension in verification of constrained Horn clauses
Cited in
(15)- Deciding safety properties in infinite-state pi-calculus via behavioural types
- Expressiveness and complexity of graph logic
- A sequent calculus for a modal logic on finite data trees
- A spatial equational logic for the applied \(\pi \)-calculus
- Modal logics and local quantifiers: a zoo in the elementary hierarchy
- Physarum spatial logic
- A decidable logic for tree data-structures with measurements
- On Composing Finite Forests with Modal Logics
- Decidable Extensions of Hennessy-Milner Logic
- Satisfiability of a Spatial Logic with Tree Variables
- Semantic subtyping with an SMT solver
- A Complete Axiomatic System for a Process-Based Spatial Logic
- Manipulating trees with hidden labels
- Specification and verification for semi-structured data
- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
This page was built for publication: Deciding validity in a spatial logic for trees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3367666)
