Guards, bounds, and generalized semantics (Q2567341): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10849-005-5786-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2162343864 / rank | |||
Normal rank | |||
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 | |||
links / mardi / name | links / mardi / name | ||
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
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