Interpolation for extended modal languages (Q3370762): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Modal languages and bounded fragments of predicate logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relation Algebra with Binders / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4532193 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal logic with names / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Restraining Power of Guards / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear reasoning. A new form of the Herbrand-Gentzen theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolation and definability in guarded fragments / rank
 
Normal rank

Latest revision as of 10:11, 24 June 2024

scientific article
Language Label Description Also known as
English
Interpolation for extended modal languages
scientific article

    Statements

    Interpolation for extended modal languages (English)
    0 references
    0 references
    8 February 2006
    0 references
    Kripke model
    0 references
    extensions of basic modal language
    0 references
    interpolation
    0 references
    hybrid logic
    0 references
    relation algebra
    0 references
    guarded fragment
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references