Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285037091> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4285037091 endingPage "327" @default.
- W4285037091 startingPage "317" @default.
- W4285037091 abstract "In the article we study the existence predicate (varepsilon) in the context of semantics for first-order modal logic. For a formula (varphi) we define (varphi^{varepsilon}) - the so called existence relativization. We point to a gap in the work of Fitting and Mendelsohn concerning the relationship between the truth of (varphi) and (varphi^{varepsilon}) in classes of varying- and constant-domain models. We introduce operations on models which allow us to fill the gap and provide a more general perspective on the issue. As a result we obtain a series of theorems describing the logical connection between the notion of truth of a formula with the existence predicate in constant-domain models and the notion of truth of a formula without the existence predicate in varying-domain models." @default.
- W4285037091 created "2022-07-12" @default.
- W4285037091 creator A5059567178 @default.
- W4285037091 date "2022-07-11" @default.
- W4285037091 modified "2023-09-25" @default.
- W4285037091 title "First-Order Modal Semantics and Existence Predicate" @default.
- W4285037091 cites W113781258 @default.
- W4285037091 cites W2055762172 @default.
- W4285037091 cites W4233906803 @default.
- W4285037091 doi "https://doi.org/10.18778/0138-0680.2022.07" @default.
- W4285037091 hasPublicationYear "2022" @default.
- W4285037091 type Work @default.
- W4285037091 citedByCount "0" @default.
- W4285037091 crossrefType "journal-article" @default.
- W4285037091 hasAuthorship W4285037091A5059567178 @default.
- W4285037091 hasBestOaLocation W42850370911 @default.
- W4285037091 hasConcept C100481476 @default.
- W4285037091 hasConcept C118615104 @default.
- W4285037091 hasConcept C140146324 @default.
- W4285037091 hasConcept C185592680 @default.
- W4285037091 hasConcept C188027245 @default.
- W4285037091 hasConcept C199360897 @default.
- W4285037091 hasConcept C27508121 @default.
- W4285037091 hasConcept C33923547 @default.
- W4285037091 hasConcept C41008148 @default.
- W4285037091 hasConcept C46274116 @default.
- W4285037091 hasConcept C71139939 @default.
- W4285037091 hasConceptScore W4285037091C100481476 @default.
- W4285037091 hasConceptScore W4285037091C118615104 @default.
- W4285037091 hasConceptScore W4285037091C140146324 @default.
- W4285037091 hasConceptScore W4285037091C185592680 @default.
- W4285037091 hasConceptScore W4285037091C188027245 @default.
- W4285037091 hasConceptScore W4285037091C199360897 @default.
- W4285037091 hasConceptScore W4285037091C27508121 @default.
- W4285037091 hasConceptScore W4285037091C33923547 @default.
- W4285037091 hasConceptScore W4285037091C41008148 @default.
- W4285037091 hasConceptScore W4285037091C46274116 @default.
- W4285037091 hasConceptScore W4285037091C71139939 @default.
- W4285037091 hasIssue "3" @default.
- W4285037091 hasLocation W42850370911 @default.
- W4285037091 hasLocation W42850370912 @default.
- W4285037091 hasOpenAccess W4285037091 @default.
- W4285037091 hasPrimaryLocation W42850370911 @default.
- W4285037091 hasRelatedWork W104572299 @default.
- W4285037091 hasRelatedWork W1585541785 @default.
- W4285037091 hasRelatedWork W2098632516 @default.
- W4285037091 hasRelatedWork W2101634098 @default.
- W4285037091 hasRelatedWork W2320349782 @default.
- W4285037091 hasRelatedWork W2388416476 @default.
- W4285037091 hasRelatedWork W2396928407 @default.
- W4285037091 hasRelatedWork W2903870848 @default.
- W4285037091 hasRelatedWork W4285037091 @default.
- W4285037091 hasRelatedWork W88617650 @default.
- W4285037091 hasVolume "51" @default.
- W4285037091 isParatext "false" @default.
- W4285037091 isRetracted "false" @default.
- W4285037091 workType "article" @default.