Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072374506> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2072374506 endingPage "648" @default.
- W2072374506 startingPage "631" @default.
- W2072374506 abstract "In this article we give an intensional version of first-order hybrid logic (which also can be viewed as a hybridized version of Fitting's First-Order Intensional Logic). We consider two different kinds of models—standard models and generalized models. The standard models are the same as Fitting's models for First-Order Intensional Logic. As the name suggests, the generalized models are more general. We give a natural deduction system which is completete with respect to generalized models. The natural deduction system is not complete with respect to standard models, but we show how to extend it with a further rule such that completeness with respect to standard models is obtained." @default.
- W2072374506 created "2016-06-24" @default.
- W2072374506 creator A5089498810 @default.
- W2072374506 date "2007-11-22" @default.
- W2072374506 modified "2023-09-24" @default.
- W2072374506 title "Adding Intensional Machinery to Hybrid Logic" @default.
- W2072374506 cites W1984084123 @default.
- W2072374506 cites W2005814072 @default.
- W2072374506 cites W2038711624 @default.
- W2072374506 cites W2068458083 @default.
- W2072374506 cites W2088302563 @default.
- W2072374506 cites W2092576830 @default.
- W2072374506 cites W2116784584 @default.
- W2072374506 cites W3191320734 @default.
- W2072374506 doi "https://doi.org/10.1093/logcom/exn005" @default.
- W2072374506 hasPublicationYear "2007" @default.
- W2072374506 type Work @default.
- W2072374506 sameAs 2072374506 @default.
- W2072374506 citedByCount "4" @default.
- W2072374506 countsByYear W20723745062013 @default.
- W2072374506 countsByYear W20723745062017 @default.
- W2072374506 countsByYear W20723745062019 @default.
- W2072374506 crossrefType "journal-article" @default.
- W2072374506 hasAuthorship W2072374506A5089498810 @default.
- W2072374506 hasConcept C199360897 @default.
- W2072374506 hasConcept C41008148 @default.
- W2072374506 hasConceptScore W2072374506C199360897 @default.
- W2072374506 hasConceptScore W2072374506C41008148 @default.
- W2072374506 hasIssue "4" @default.
- W2072374506 hasLocation W20723745061 @default.
- W2072374506 hasOpenAccess W2072374506 @default.
- W2072374506 hasPrimaryLocation W20723745061 @default.
- W2072374506 hasRelatedWork W1527862632 @default.
- W2072374506 hasRelatedWork W2112962394 @default.
- W2072374506 hasRelatedWork W2118300983 @default.
- W2072374506 hasRelatedWork W2135396778 @default.
- W2072374506 hasRelatedWork W2382501300 @default.
- W2072374506 hasRelatedWork W2740990710 @default.
- W2072374506 hasRelatedWork W3137189469 @default.
- W2072374506 hasRelatedWork W3162240892 @default.
- W2072374506 hasRelatedWork W4235530921 @default.
- W2072374506 hasRelatedWork W4243252198 @default.
- W2072374506 hasVolume "18" @default.
- W2072374506 isParatext "false" @default.
- W2072374506 isRetracted "false" @default.
- W2072374506 magId "2072374506" @default.
- W2072374506 workType "article" @default.