An exercise on the generation of many-valued dynamic logics

DOI10.1016/J.JLAMP.2016.03.004MaRDI QIDQ2374313zbMATH OpenOpenAlexFDO

Authors Alexandre Madeira, Renato Neves, Manuel A. Martins

Publication date 15 December 2016

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2016.03.004

zbMATH Keywords

many-valued logicdynamic logicKleene algebraaction lattice

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 1440092
• On the construction of multi-valued concurrent dynamic logics
• On interval dynamic logic
• A treatise on many-valued logics
• A dynamic logic for every season

Cites work

• scientific article; zbMATH DE number 1706329 (Why is no real title available?)
• scientific article; zbMATH DE number 3869303 (Why is no real title available?)
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 549971 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (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?)
• scientific article; zbMATH DE number 2203356 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
• A completeness theorem for Kleene algebras and the algebra of regular events
• A dynamic logic for every season
• A probabilistic PDL
• A relation-algebraic approach to the ``Hoare logic of functional dependencies
• A treatise on many-valued logics
• An elementary proof of the completeness of PDL
• Calculating Invariants as Coreflexive Bisimulations
• Extended Static Checking by Calculation Using the Pointfree Transform
• Game logic -- an overview
• Hybridization of institutions
• Logical analysis of hybrid systems. Proving theorems for complex dynamics.
• Means-end relations and a measure of efficacy
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• On the structure of hoops
• Probabilistic logic
• Propositional dynamic logic for Petri nets
• Relational and Kleene-Algebraic Methods in Computer Science
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Residuated lattices. An algebraic glimpse at substructural logics
• Weighted automata and weighted logics
• Weighted automata as coalgebras in categories of matrices

Cited in

(12)

• A semantics and a logic for \textit{Fuzzy Arden Syntax}
• Adding proof calculi to epistemic logics with structured knowledge
• A family of graded epistemic logics
• On interval dynamic logic
• A fuzzy modal logic for fuzzy transition systems
• A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
• On the construction of multi-valued concurrent dynamic logics
• Graded epistemic logic with public announcement
• Dynamic Łukasiewicz logic and dynamic MV-algebras
• Epistemic logics with structured knowledge
• A logic for paraconsistent transition systems
• A dynamic logic for every season

Describes a project that uses

Uses Software

• KeY-C

This page was built for publication: An exercise on the generation of many-valued dynamic logics

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