Guards, bounds, and generalized semantics (Q2567341): 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: Finite algebras of relations are representable on finite sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5544276 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4263155 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Restraining Power of Guards / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolation and definability in guarded fragments / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4938431 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tolerance logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multi-dimensional modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pragmatics and intensional logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cylindric-relativised set algebras have strong amalgamation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4873975 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4349288 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolation for extended modal languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Determiners and logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4349287 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3122692 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Range of Modal Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4329234 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized quantifiers and modal logic / rank
 
Normal rank

Latest revision as of 17:08, 10 June 2024

scientific article
Language Label Description Also known as
English
Guards, bounds, and generalized semantics
scientific article

    Statements

    Guards, bounds, and generalized semantics (English)
    0 references
    4 October 2005
    0 references
    0 references
    0 references
    0 references
    0 references
    fixed-point logic
    0 references
    Guarded Fragment
    0 references
    satisfiability
    0 references
    general assignment models
    0 references
    guarded syntax
    0 references
    effective axiomatizability in second-order logic
    0 references
    0 references