A quantitative analysis of modal logic (Q4292605): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Formulation of Bayesian analysis for games with incomplete information / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5819415 / rank
 
Normal rank
Property / cites work
 
Property / cites work: In so many possible worlds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4845472 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability for branching time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Artificial intelligence and mathematics. 1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Knowledge and common knowledge in a distributed environment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3026978 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normal forms in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4068699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573961 / rank
 
Normal rank

Latest revision as of 16:01, 22 May 2024

scientific article; zbMATH DE number 569564
Language Label Description Also known as
English
A quantitative analysis of modal logic
scientific article; zbMATH DE number 569564

    Statements

    A quantitative analysis of modal logic (English)
    0 references
    0 references
    18 May 1994
    0 references
    multiple agents
    0 references
    modal logic
    0 references
    Kripke-style semantics
    0 references
    epistemic logic
    0 references
    modal structures
    0 references
    Kripke structures
    0 references

    Identifiers