An exercise on the generation of many-valued dynamic logics

DOI10.1016/J.JLAMP.2016.03.004zbMATH Open1355.03023OpenAlexW2339091729MaRDI QIDQ2374313FDOQ2374313

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

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

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)

Cites Work

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

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
• A fuzzy modal logic for fuzzy transition systems
• On interval dynamic logic
• 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
• A logic for paraconsistent transition systems
• Epistemic logics with structured knowledge
• A dynamic logic for every season

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)