Software tool support for modular reasoning in modal logics of actions (Q1791146)

From MaRDI portal
Revision as of 10:08, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Software tool support for modular reasoning in modal logics of actions
scientific article

    Statements

    title
    Software tool support for modular reasoning in modal logics of actions (English)
    0 references
    author
    Samuel Balco
    0 references
    Sabine Frittella
    0 references
    Giuseppe Greco
    0 references
    Alexander Kurz
    0 references
    Alessandra Palmigiano
    0 references
    publication date
    4 October 2018
    0 references
    describes a project that uses
    Coq
    0 references
    Isabelle/HOL
    0 references
    Muddy children
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68V15
    0 references
    03B42
    0 references
    03B45
    0 references
    68V20
    0 references
    zbMATH DE Number
    6946973
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1791146&oldid=23817675"
    Powered by MediaWiki