Matches in SemOpenAlex for { <https://semopenalex.org/work/W1538098045> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W1538098045 endingPage "295" @default.
- W1538098045 startingPage "281" @default.
- W1538098045 abstract "This paper introduces an algebraic semantics for hybrid logic with binders ${mathcal{H}(downarrow,@)}$. It is known that this formalism is a modal counterpart of the bounded fragment of the first-order logic, studied by Feferman in the 1960's. The algebraization process leads to an interesting class of boolean algebras with operators, called substitution-satisfaction algebras. We provide a representation theorem for these algebras and thus provide an algebraic proof of completeness of hybrid logic." @default.
- W1538098045 created "2016-06-24" @default.
- W1538098045 creator A5058807832 @default.
- W1538098045 date "2006-01-01" @default.
- W1538098045 modified "2023-09-27" @default.
- W1538098045 title "Algebraization of Hybrid Logic with Binders" @default.
- W1538098045 cites W1566363341 @default.
- W1538098045 cites W1972891197 @default.
- W1538098045 cites W1976307763 @default.
- W1538098045 cites W2014969671 @default.
- W1538098045 cites W2035136089 @default.
- W1538098045 cites W2040116896 @default.
- W1538098045 cites W2154199572 @default.
- W1538098045 cites W2165661406 @default.
- W1538098045 doi "https://doi.org/10.1007/11828563_19" @default.
- W1538098045 hasPublicationYear "2006" @default.
- W1538098045 type Work @default.
- W1538098045 sameAs 1538098045 @default.
- W1538098045 citedByCount "5" @default.
- W1538098045 countsByYear W15380980452013 @default.
- W1538098045 countsByYear W15380980452015 @default.
- W1538098045 countsByYear W15380980452020 @default.
- W1538098045 countsByYear W15380980452023 @default.
- W1538098045 crossrefType "book-chapter" @default.
- W1538098045 hasAuthorship W1538098045A5058807832 @default.
- W1538098045 hasConcept C199360897 @default.
- W1538098045 hasConcept C33923547 @default.
- W1538098045 hasConcept C41008148 @default.
- W1538098045 hasConcept C94375191 @default.
- W1538098045 hasConceptScore W1538098045C199360897 @default.
- W1538098045 hasConceptScore W1538098045C33923547 @default.
- W1538098045 hasConceptScore W1538098045C41008148 @default.
- W1538098045 hasConceptScore W1538098045C94375191 @default.
- W1538098045 hasLocation W15380980451 @default.
- W1538098045 hasOpenAccess W1538098045 @default.
- W1538098045 hasPrimaryLocation W15380980451 @default.
- W1538098045 hasRelatedWork W1527862632 @default.
- W1538098045 hasRelatedWork W2112962394 @default.
- W1538098045 hasRelatedWork W2118300983 @default.
- W1538098045 hasRelatedWork W2135396778 @default.
- W1538098045 hasRelatedWork W2382501300 @default.
- W1538098045 hasRelatedWork W2740990710 @default.
- W1538098045 hasRelatedWork W3137189469 @default.
- W1538098045 hasRelatedWork W3162240892 @default.
- W1538098045 hasRelatedWork W4235530921 @default.
- W1538098045 hasRelatedWork W4243252198 @default.
- W1538098045 isParatext "false" @default.
- W1538098045 isRetracted "false" @default.
- W1538098045 magId "1538098045" @default.
- W1538098045 workType "book-chapter" @default.