Observational Semantics for Dynamic Logic with Binders

DOI10.1007/978-3-319-72044-9_10MaRDI QIDQ5208504zbMATH OpenOpenAlexFDO

Authors Rolf Hennicker, Alexandre Madeira

Publication date 16 January 2020

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01767472/file/433330_1_En_10_Chapter.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Observable Semantics for Constraint Logic Programs
• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• A theory of observables for logic programs
• Dynamic logic with binders and its application to the development of reactive systems
• Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions
• Dynamic logic with trace semantics
• Automated Reasoning with Analytic Tableaux and Related Methods
• scientific article; zbMATH DE number 4210118
• Recapturing dynamic logic of relation changers via bounded morphisms
• scientific article; zbMATH DE number 1696783

Cited in

(5)

• Institutions for behavioural dynamic logic with binders
• A logic for the stepwise development of reactive systems
• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• Dynamic logic with binders and its application to the development of reactive systems
• Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions

This page was built for publication: Observational Semantics for Dynamic Logic with Binders

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