An exercise on the generation of many-valued dynamic logics

DOI10.1016/j.jlamp.2016.03.004zbMath1355.03023OpenAlexW2339091729MaRDI QIDQ2374313

Renato Neves, Manuel A. Martins, Alexandre Madeira

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

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

Related Items (7)

Adding proof calculi to epistemic logics with structured knowledge ⋮ Graded epistemic logic with public announcement ⋮ Dynamic Łukasiewicz logic and dynamic MV-algebras ⋮ A fuzzy modal logic for fuzzy transition systems ⋮ A family of graded epistemic logics ⋮ Epistemic logics with structured knowledge ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax}

Uses Software

• KeY-C

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A relation-algebraic approach to the ``Hoare logic of functional dependencies
• Means-end relations and a measure of efficacy
• Residuated lattices. An algebraic glimpse at substructural logics
• A probabilistic PDL
• Probabilistic logic
• An elementary proof of the completeness of PDL
• A completeness theorem for Kleene algebras and the algebra of regular events
• Game logic -- an overview
• On the structure of hoops
• Weighted automata and weighted logics
• A Dynamic Logic for Every Season
• Hybridization of Institutions
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Propositional dynamic logic for Petri nets
• A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• Logical Analysis of Hybrid Systems
• Extended Static Checking by Calculation Using the Pointfree Transform
• WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES
• Calculating Invariants as Coreflexive Bisimulations
• Relational and Kleene-Algebraic Methods in Computer Science

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