A proof-theoretic semantic analysis of dynamic epistemic logic (Q2957974): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Importer (talk | contribs)
Changed an Item
 
Property / arXiv ID
 
Property / arXiv ID: 1805.07584 / rank
 
Normal rank

Latest revision as of 10:19, 19 April 2024

scientific article
Language Label Description Also known as
English
A proof-theoretic semantic analysis of dynamic epistemic logic
scientific article

    Statements

    A proof-theoretic semantic analysis of dynamic epistemic logic (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    31 January 2017
    0 references
    display calculus
    0 references
    dynamic epistemic logic
    0 references
    proof-theoretic semantics
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references