Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162361330> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2162361330 endingPage "603" @default.
- W2162361330 startingPage "581" @default.
- W2162361330 abstract "Normal modal logics can be defined axiomatically as Hilbert systems, or semantically in terms of Kripke's possible worlds and accessibility relations. Unfortunately there are Hilbert axioms which do not have corresponding first-order properties for the accessibility relation. For these logics the standard semantics-based theorem proving techniques, in particular, the relational translation into first-order predicate logic, do not work. There is an alternative translation, the so-called functional translation, in which the accessibility relations are replaced by certain terms which intuitively can be seen as functions mapping worlds to accessible worlds. In this paper we show that from a certain point of view this functional language is more expressive than the relational language, and that certain second-order frame properties can be mapped to first-order formulae expressed in the functional language. Moreover, we show how these formulae can be computed automatically from the Hilbert axioms. This extends the applicability of the functional translation method." @default.
- W2162361330 created "2016-06-24" @default.
- W2162361330 creator A5021070111 @default.
- W2162361330 creator A5037583341 @default.
- W2162361330 date "1997-10-01" @default.
- W2162361330 modified "2023-10-16" @default.
- W2162361330 title "Functional translation and second-order frame properties of modal logics" @default.
- W2162361330 doi "https://doi.org/10.1093/logcom/7.5.581" @default.
- W2162361330 hasPublicationYear "1997" @default.
- W2162361330 type Work @default.
- W2162361330 sameAs 2162361330 @default.
- W2162361330 citedByCount "50" @default.
- W2162361330 countsByYear W21623613302013 @default.
- W2162361330 countsByYear W21623613302015 @default.
- W2162361330 countsByYear W21623613302016 @default.
- W2162361330 countsByYear W21623613302017 @default.
- W2162361330 countsByYear W21623613302019 @default.
- W2162361330 countsByYear W21623613302020 @default.
- W2162361330 crossrefType "journal-article" @default.
- W2162361330 hasAuthorship W2162361330A5021070111 @default.
- W2162361330 hasAuthorship W2162361330A5037583341 @default.
- W2162361330 hasBestOaLocation W21623613302 @default.
- W2162361330 hasConcept C100481476 @default.
- W2162361330 hasConcept C102993220 @default.
- W2162361330 hasConcept C104317684 @default.
- W2162361330 hasConcept C105580179 @default.
- W2162361330 hasConcept C11191006 @default.
- W2162361330 hasConcept C114092440 @default.
- W2162361330 hasConcept C118615104 @default.
- W2162361330 hasConcept C140146324 @default.
- W2162361330 hasConcept C149364088 @default.
- W2162361330 hasConcept C167729594 @default.
- W2162361330 hasConcept C185592680 @default.
- W2162361330 hasConcept C188027245 @default.
- W2162361330 hasConcept C199360897 @default.
- W2162361330 hasConcept C203659156 @default.
- W2162361330 hasConcept C2524010 @default.
- W2162361330 hasConcept C27508121 @default.
- W2162361330 hasConcept C33923547 @default.
- W2162361330 hasConcept C41008148 @default.
- W2162361330 hasConcept C55493867 @default.
- W2162361330 hasConcept C71139939 @default.
- W2162361330 hasConcept C80444323 @default.
- W2162361330 hasConceptScore W2162361330C100481476 @default.
- W2162361330 hasConceptScore W2162361330C102993220 @default.
- W2162361330 hasConceptScore W2162361330C104317684 @default.
- W2162361330 hasConceptScore W2162361330C105580179 @default.
- W2162361330 hasConceptScore W2162361330C11191006 @default.
- W2162361330 hasConceptScore W2162361330C114092440 @default.
- W2162361330 hasConceptScore W2162361330C118615104 @default.
- W2162361330 hasConceptScore W2162361330C140146324 @default.
- W2162361330 hasConceptScore W2162361330C149364088 @default.
- W2162361330 hasConceptScore W2162361330C167729594 @default.
- W2162361330 hasConceptScore W2162361330C185592680 @default.
- W2162361330 hasConceptScore W2162361330C188027245 @default.
- W2162361330 hasConceptScore W2162361330C199360897 @default.
- W2162361330 hasConceptScore W2162361330C203659156 @default.
- W2162361330 hasConceptScore W2162361330C2524010 @default.
- W2162361330 hasConceptScore W2162361330C27508121 @default.
- W2162361330 hasConceptScore W2162361330C33923547 @default.
- W2162361330 hasConceptScore W2162361330C41008148 @default.
- W2162361330 hasConceptScore W2162361330C55493867 @default.
- W2162361330 hasConceptScore W2162361330C71139939 @default.
- W2162361330 hasConceptScore W2162361330C80444323 @default.
- W2162361330 hasIssue "5" @default.
- W2162361330 hasLocation W21623613301 @default.
- W2162361330 hasLocation W21623613302 @default.
- W2162361330 hasOpenAccess W2162361330 @default.
- W2162361330 hasPrimaryLocation W21623613301 @default.
- W2162361330 hasRelatedWork W1993195187 @default.
- W2162361330 hasRelatedWork W2069376434 @default.
- W2162361330 hasRelatedWork W2115499179 @default.
- W2162361330 hasRelatedWork W2149896447 @default.
- W2162361330 hasRelatedWork W2224511541 @default.
- W2162361330 hasRelatedWork W2384048534 @default.
- W2162361330 hasRelatedWork W3138760333 @default.
- W2162361330 hasRelatedWork W4287254621 @default.
- W2162361330 hasRelatedWork W4287393491 @default.
- W2162361330 hasRelatedWork W88617650 @default.
- W2162361330 hasVolume "7" @default.
- W2162361330 isParatext "false" @default.
- W2162361330 isRetracted "false" @default.
- W2162361330 magId "2162361330" @default.
- W2162361330 workType "article" @default.