Q4509295 (Q4509295): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Epistemic logic and logical omniscience: A survey / rank
 
Normal rank
Property / cites work
 
Property / cites work: Impossible possible worlds vindicated / rank
 
Normal rank
Property / cites work
 
Property / cites work: Belief, awareness, and limited reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4085699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4016548 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4953089 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bilattices and the semantics of logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bilattices and the theory of truth / rank
 
Normal rank
Property / cites work
 
Property / cites work: A guide to completeness and complexity for modal logics of knowledge and belief / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5604443 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3026978 / rank
 
Normal rank

Latest revision as of 16:20, 30 May 2024

scientific article; zbMATH DE number 1517022
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1517022

    Statements

    0 references
    15 October 2000
    0 references
    intelligent agents
    0 references
    implicit belief
    0 references
    explicit belief
    0 references
    multivalued epistemic logic
    0 references
    decidability
    0 references
    model-checking algorithm
    0 references

    Identifiers