Decidable Extensions of Hennessy-Milner Logic

DOI10.1007/11888116_16MaRDI QIDQ3613068zbMATH OpenOpenAlexFDO

Authors Radu Mardare, Corrado Priami

Publication date 11 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11888116_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4056971
• Decidability problems in languages with Henkin quantifiers
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• Extended Kripke lemma and decidability for hypersequent substructural logics
• Decidable and enumerable predicate logics of provability
• scientific article; zbMATH DE number 7713505
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• Decidability of general extensional mereology
• scientific article; zbMATH DE number 4087623
• Decidability of some classes of modal logic

Cites work

• scientific article; zbMATH DE number 2020178 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 2087553 (Why is no real title available?)
• scientific article; zbMATH DE number 1841829 (Why is no real title available?)
• scientific article; zbMATH DE number 1884406 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A calculus of communicating systems
• A spatial logic for concurrency. I
• Algebraic laws for nondeterminism and concurrency
• Anytime, anywhere: modal logics for mobile ambients
• CONCUR 2004 - Concurrency Theory
• Decidable Extensions of Hennessy-Milner Logic
• Deciding validity in a spatial logic for trees
• Games in dynamic-epistemic logic
• Handbook of process algebra
• Logics for epistemic programs
• Mobile ambients
• Modal and temporal properties of processes
• Modal logics for mobile processes
• Model checking mobile processes
• Reasoning about information change

Cited in

(9)

• Abstract interpretation based verification of temporal properties for BioAmbients
• Apartness and distinguishing formulas in Hennessy-Milner logic
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
• Decidability of general extensional mereology
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Decidable Extensions of Hennessy-Milner Logic
• A Complete Axiomatic System for a Process-Based Spatial Logic
• Undecidability of model checking in brane logic
• Extensionality of spatial observations in distributed systems

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: Decidable Extensions of Hennessy-Milner Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613068)