Recommendations
Cites work
- A completeness theorem in modal logic
- A decision procedure for satisfiability in separation logic with inductive predicates
- A Logic-Based Framework for Reasoning about Composite Data Structures
- A logical characterization of data languages.
- A Marriage of Rely/Guarantee and Separation Logic
- A modal BI logic for dynamic resource properties
- A Proof of Kamp's theorem
- A proof system for separation logic with magic wand
- A Reduction from DLP to PDL
- A simple separation logic
- An automata-theoretic approach to constraint LTL
- An axiomatic basis for computer programming
- An Introduction to Context Logic
- Anytime, anywhere: modal logics for mobile ambients
- Automata based verification over linearly ordered data domains
- Beyond Shapes: Lists with Ordered Data
- BI as an assertion language for mutable data structures
- Bunched logics displayed
- Complexity hierarchies beyond elementary
- Compositional invariant checking for overlaid and nested linked lists
- Compositional shape analysis by means of bi-abduction
- Computer Science Logic
- Computer Science Logic
- Computer Science Logic
- Context logic as modal logic, completeness and parametric inexpressivity
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Decidability of weak logics with deterministic transitive closure
- Decidable logics combining heap structures and data
- Deterministic propositional dynamic logic: finite models, complexity, and completeness
- Elements of finite model theory.
- Encoding two-valued nonclassical logics in classical logic
- Expressive completeness of separation logic with two variables and no separating conjunction
- Expressiveness and complexity of graph logic
- Finite state machines for strings over infinite alphabets
- Finite-memory automata
- First-order logic with two variables and unary temporal logic
- Foundations for decision problems in separation logic with general inductive predicates
- Foundations of Software Science and Computation Structures
- Foundations of Software Science and Computation Structures
- Foundations of Software Science and Computational Structures
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Future-Looking Logics on Data Words and Trees
- Global and local graph modifiers
- Handbook of modal logic
- scientific article; zbMATH DE number 1633145 (Why is no real title available?)
- scientific article; zbMATH DE number 3827831 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 3688686 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 3494368 (Why is no real title available?)
- scientific article; zbMATH DE number 618821 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 1956555 (Why is no real title available?)
- scientific article; zbMATH DE number 2081098 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 6863850 (Why is no real title available?)
- scientific article; zbMATH DE number 1841824 (Why is no real title available?)
- scientific article; zbMATH DE number 757645 (Why is no real title available?)
- scientific article; zbMATH DE number 3271460 (Why is no real title available?)
- scientific article; zbMATH DE number 3302923 (Why is no real title available?)
- scientific article; zbMATH DE number 3310089 (Why is no real title available?)
- scientific article; zbMATH DE number 3325547 (Why is no real title available?)
- scientific article; zbMATH DE number 3408928 (Why is no real title available?)
- scientific article; zbMATH DE number 3410595 (Why is no real title available?)
- scientific article; zbMATH DE number 965572 (Why is no real title available?)
- Hybrid logics: Characterization, interpolation and complexity
- Impossibility of an algorithm for the decision problem in finite classes
- LTL with the freeze quantifier and register automata
- Maintaining knowledge about temporal intervals
- Many-dimensional modal logics: theory and applications
- Mechanizing Mathematical Reasoning
- Methods for Automated Theorem Proving in Nonclassical Logics
- Metric propositional neighborhood logics: expressiveness, decidability, and undecidability
- Modal indepence logic
- Modal logic
- Multi-dimensional modal logic
- Nondeterministic phase semantics and the undecidability of Boolean BI
- On the almighty wand
- On the Almighty Wand
- On the Complexity of Reasoning About Dynamic Policies
- On the Decision Problem for Two-Variable First-Order Logic
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
- On the Expressive Power of Graph Logic
- One-dimensional fragment of first-order logic
- Parametric completeness for separation theories
- Permission accounting in separation logic
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Proof methods for modal and intuitionistic logics
- Proof search for propositional abstract separation logics via labelled sequents
- Propositional dynamic logic with storing, recovering and parallel composition
- Reasoning about sequences of memory states
- Relationships between nondeterministic and deterministic tape complexities
- Satisfiability modulo theories
- Scalable Shape Analysis for Systems Code
- Separating Graph Logic from MSO
- Separation -- past, present, and future
- Separation logic modulo theories
- Separation logic with one quantified variable
- Tableaux and resource graphs for separation logic
- Temporal logic can be more expressive
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
- The expressive power of modal dependence logic
- The genesis of possible worlds semantics
- The Logic of Bunched Implications
- The modal logic of inequality
- The price of universality
- The semantics and proof theory of the logic of bunched implications
- The tree width of separation logic with recursive definitions
- Tools and Algorithms for the Construction and Analysis of Systems
- Tractable Reasoning in a Fragment of Separation Logic
- Two-variable logic on data words
- Two-Variable Separation Logic and Its Inner Circle
- Undecidability of propositional separation logic and its neighbours
- Undecidability results on two-variable logics
- Using the Universal Modality: Gains and Questions
- Verifying Heap-Manipulating Programs in an SMT Framework
Cited in
(20)- Hybrid logics of separation axioms
- Verification of dynamic bisimulation theorems in Coq
- Separation logic and logics with team semantics
- Axiomatising logics with separating conjunction and modalities
- On a graph calculus for modalities
- Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
- A logic of separating modalities
- Exponential-size model property for PDL with separating parallel composition
- scientific article; zbMATH DE number 7233822 (Why is no real title available?)
- Tableaux methods for propositional dynamic logics with separating parallel composition
- A modal separation logic for resource dynamics
- The effects of modalities in separation logics (extended abstract)
- A first-order logic with frames
- On temporal and separation logics
- A complete axiomatisation for quantifier-free separation logic
- The power of modal separation logics
- On the complexity of modal separation logics
- Multimodal Separation Logic for Reasoning About Operational Semantics
- Copy and remove as dynamic operators
- An algebraic glimpse at bunched implications and separation logic
This page was built for publication: Separation logics and modalities: a survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586138)
