On the formal semantics of IF-like logics (Q980942): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q5691485 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5732647 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite partially-ordered quantification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite Partially‐Ordered Quantifiers / rank
 
Normal rank
Property / cites work
 
Property / cites work: On branching quantifiers in English / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the logic of informational independence and its applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Second-Order Logic and Foundations of Mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositional semantics for a language of imperfect information / rank
 
Normal rank
Property / cites work
 
Property / cites work: Independent choices and the interpretation of IF logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3574468 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4362727 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5755192 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4699335 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivalence and quantifier rules for logic with imperfect information / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5667469 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3728878 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the semantics of informational independence / rank
 
Normal rank

Latest revision as of 00:44, 3 July 2024

scientific article
Language Label Description Also known as
English
On the formal semantics of IF-like logics
scientific article

    Statements

    On the formal semantics of IF-like logics (English)
    0 references
    0 references
    0 references
    0 references
    8 July 2010
    0 references
    independence-friendly logic
    0 references
    regular formulas
    0 references
    signaling
    0 references
    valuation
    0 references
    compositional semantics
    0 references
    full abstraction
    0 references
    flattening operator
    0 references

    Identifiers