A semantics and a logic for \textit{Fuzzy Arden Syntax}
From MaRDI portal
Publication:2099984
Fuzzy logic; logic of vagueness (03B52) Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cites work
- A completeness theorem for Kleene algebras and the algebra of regular events
- A probabilistic PDL
- An event structure model for probabilistic concurrent Kleene algebra
- An exercise on the generation of many-valued dynamic logics
- Concurrent dynamic algebra
- Concurrent dynamic logic
- Concurrent Kleene algebra and its foundations
- Dynamic Łukasiewicz logic and dynamic MV-algebras
- Finitely-valued propositional dynamic logic
- Fuzzy sets
- Generalising KAT to Verify Weighted Computations
- scientific article; zbMATH DE number 3880483 (Why is no real title available?)
- scientific article; zbMATH DE number 549971 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 1440092 (Why is no real title available?)
- Kleisli, Parikh and Peleg compositions and liftings for multirelations
- Means-end relations and a measure of efficacy
- Monotone Predicate Transformers as Up-Closed Multirelations
- On fuzzy modal logics \(S5(\mathcal C)\)
- On Hoare logic and Kleene algebra with tests
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- On the structure of hoops
- Probabilistic NetKAT
- Probabilistic relational models of complete IL-semirings
- Propositional dynamic logic for searching games with errors
- Propositional dynamic logic of regular programs
- Residuated lattices. An algebraic glimpse at substructural logics
- Standard Gödel modal logics
- Synchronous Kleene algebra
- Theory and Applications of Relational Structures as Knowledge Instruments
- Using probabilistic Kleene algebra pKA for protocol verification
- VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC
Cited in
(11)- A family of fuzzy programming languages
- A fuzzy language.
- Special issue ``International symposium on molecular logic and computational synthetic biology: MLCSB18
- The fuzzy logic programming language FASILL: design and implementation
- Thresholded semantic framework for a fully integrated fuzzy logic language
- The explanative and procedural semantics of FLL
- Denotational semantics of languages with fuzzy data
- The semantics of wlp and slp of fuzzy imperative programming languages
- Weighted synchronous automata
- A Kleene algebra with tests for union bound reasoning about probabilistic programs
- Fuzzy logic programming via multilattices
This page was built for publication: A semantics and a logic for \textit{Fuzzy Arden Syntax}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2099984)
