Matches in SemOpenAlex for { <https://semopenalex.org/work/W4221156678> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4221156678 abstract "In the the present contribution, we prove an Omitting Types Theorem (OTT) for an arbitrary fragment of hybriddynamic first-order logic with rigid symbols (i.e. symbols with fixed interpretations across worlds) closed under negation and retrieve. The logical framework can be regarded as a parameter and it is instantiated by some well-known hybrid and/or dynamic logics from the literature. We develop a forcing technique and then we study a forcing property based on local satisfiability, which lead to a refined proof of the OTT. For uncountable signatures, the result requires compactness, while for countable signatures, compactness is not necessary. We apply the OTT to obtain upwards and downwards Lowenheim-Skolem theorems for our logic, as well as a completeness theorem for its constructor-based variant. The main result of this paper can easily be recast in the institutional model theory framework, giving it a higher level of generality." @default.
- W4221156678 created "2022-04-03" @default.
- W4221156678 creator A5053842643 @default.
- W4221156678 creator A5085958727 @default.
- W4221156678 creator A5089384409 @default.
- W4221156678 date "2022-03-09" @default.
- W4221156678 modified "2023-10-18" @default.
- W4221156678 title "Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols" @default.
- W4221156678 doi "https://doi.org/10.48550/arxiv.2203.08720" @default.
- W4221156678 hasPublicationYear "2022" @default.
- W4221156678 type Work @default.
- W4221156678 citedByCount "0" @default.
- W4221156678 crossrefType "posted-content" @default.
- W4221156678 hasAuthorship W4221156678A5053842643 @default.
- W4221156678 hasAuthorship W4221156678A5085958727 @default.
- W4221156678 hasAuthorship W4221156678A5089384409 @default.
- W4221156678 hasBestOaLocation W42211566781 @default.
- W4221156678 hasConcept C100481476 @default.
- W4221156678 hasConcept C102993220 @default.
- W4221156678 hasConcept C110729354 @default.
- W4221156678 hasConcept C111472728 @default.
- W4221156678 hasConcept C11413529 @default.
- W4221156678 hasConcept C118615104 @default.
- W4221156678 hasConcept C134306372 @default.
- W4221156678 hasConcept C138885662 @default.
- W4221156678 hasConcept C142399903 @default.
- W4221156678 hasConcept C144791301 @default.
- W4221156678 hasConcept C15744967 @default.
- W4221156678 hasConcept C169896238 @default.
- W4221156678 hasConcept C171636804 @default.
- W4221156678 hasConcept C17231256 @default.
- W4221156678 hasConcept C18648836 @default.
- W4221156678 hasConcept C189950617 @default.
- W4221156678 hasConcept C194886279 @default.
- W4221156678 hasConcept C197115733 @default.
- W4221156678 hasConcept C199360897 @default.
- W4221156678 hasConcept C202444582 @default.
- W4221156678 hasConcept C206880738 @default.
- W4221156678 hasConcept C2185349 @default.
- W4221156678 hasConcept C2776235265 @default.
- W4221156678 hasConcept C2780767217 @default.
- W4221156678 hasConcept C33923547 @default.
- W4221156678 hasConcept C41008148 @default.
- W4221156678 hasConcept C45962547 @default.
- W4221156678 hasConcept C542102704 @default.
- W4221156678 hasConcept C80444323 @default.
- W4221156678 hasConceptScore W4221156678C100481476 @default.
- W4221156678 hasConceptScore W4221156678C102993220 @default.
- W4221156678 hasConceptScore W4221156678C110729354 @default.
- W4221156678 hasConceptScore W4221156678C111472728 @default.
- W4221156678 hasConceptScore W4221156678C11413529 @default.
- W4221156678 hasConceptScore W4221156678C118615104 @default.
- W4221156678 hasConceptScore W4221156678C134306372 @default.
- W4221156678 hasConceptScore W4221156678C138885662 @default.
- W4221156678 hasConceptScore W4221156678C142399903 @default.
- W4221156678 hasConceptScore W4221156678C144791301 @default.
- W4221156678 hasConceptScore W4221156678C15744967 @default.
- W4221156678 hasConceptScore W4221156678C169896238 @default.
- W4221156678 hasConceptScore W4221156678C171636804 @default.
- W4221156678 hasConceptScore W4221156678C17231256 @default.
- W4221156678 hasConceptScore W4221156678C18648836 @default.
- W4221156678 hasConceptScore W4221156678C189950617 @default.
- W4221156678 hasConceptScore W4221156678C194886279 @default.
- W4221156678 hasConceptScore W4221156678C197115733 @default.
- W4221156678 hasConceptScore W4221156678C199360897 @default.
- W4221156678 hasConceptScore W4221156678C202444582 @default.
- W4221156678 hasConceptScore W4221156678C206880738 @default.
- W4221156678 hasConceptScore W4221156678C2185349 @default.
- W4221156678 hasConceptScore W4221156678C2776235265 @default.
- W4221156678 hasConceptScore W4221156678C2780767217 @default.
- W4221156678 hasConceptScore W4221156678C33923547 @default.
- W4221156678 hasConceptScore W4221156678C41008148 @default.
- W4221156678 hasConceptScore W4221156678C45962547 @default.
- W4221156678 hasConceptScore W4221156678C542102704 @default.
- W4221156678 hasConceptScore W4221156678C80444323 @default.
- W4221156678 hasLocation W42211566781 @default.
- W4221156678 hasOpenAccess W4221156678 @default.
- W4221156678 hasPrimaryLocation W42211566781 @default.
- W4221156678 hasRelatedWork W125849057 @default.
- W4221156678 hasRelatedWork W2131524578 @default.
- W4221156678 hasRelatedWork W2938315078 @default.
- W4221156678 hasRelatedWork W3006582179 @default.
- W4221156678 hasRelatedWork W3105242402 @default.
- W4221156678 hasRelatedWork W3187166343 @default.
- W4221156678 hasRelatedWork W4221156678 @default.
- W4221156678 hasRelatedWork W4256444464 @default.
- W4221156678 hasRelatedWork W4284959450 @default.
- W4221156678 hasRelatedWork W4225674034 @default.
- W4221156678 isParatext "false" @default.
- W4221156678 isRetracted "false" @default.
- W4221156678 workType "article" @default.