FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158628691> ?p ?o ?g. }

• W2158628691 abstract "The paper presents aset-theoretic translation method for polymodal logics that reduces derivability in a large class of propositional polymodal logics to derivability in a very weak first-order set theory Ω. Unlike most existing translation methods, the one we propose applies to any normal complete finitely axiomatizable polymodal logic, regardless of whether it is first-order complete or an explicit semantics is available. The finite axiomatizability of Ω allows one to implement mechanical proof-search procedures via the deduction theorem. Alternatively, more specialized and efficient techniques can be employed. In the last part of the paper, we briefly discuss the application ofset T-resolution to support automated derivability in (a suitable extension of) Ω." @default.
• W2158628691 created "2016-06-24" @default.
• W2158628691 creator A5015702335 @default.
• W2158628691 creator A5038012736 @default.
• W2158628691 creator A5042115100 @default.
• W2158628691 date "1995-01-01" @default.
• W2158628691 modified "2023-09-26" @default.
• W2158628691 title "A set-theoretic translation method for polymodal logics" @default.
• W2158628691 cites W1570374618 @default.
• W2158628691 cites W1994872660 @default.
• W2158628691 cites W2025586204 @default.
• W2158628691 cites W2043768724 @default.
• W2158628691 cites W2074551833 @default.
• W2158628691 cites W2087640143 @default.
• W2158628691 cites W2088374045 @default.
• W2158628691 cites W2113030260 @default.
• W2158628691 cites W2169882082 @default.
• W2158628691 cites W4249653633 @default.
• W2158628691 cites W4253934133 @default.
• W2158628691 doi "https://doi.org/10.1007/bf00881803" @default.
• W2158628691 hasPublicationYear "1995" @default.
• W2158628691 type Work @default.
• W2158628691 sameAs 2158628691 @default.
• W2158628691 citedByCount "30" @default.
• W2158628691 countsByYear W21586286912013 @default.
• W2158628691 countsByYear W21586286912016 @default.
• W2158628691 countsByYear W21586286912018 @default.
• W2158628691 countsByYear W21586286912019 @default.
• W2158628691 countsByYear W21586286912020 @default.
• W2158628691 crossrefType "journal-article" @default.
• W2158628691 hasAuthorship W2158628691A5015702335 @default.
• W2158628691 hasAuthorship W2158628691A5038012736 @default.
• W2158628691 hasAuthorship W2158628691A5042115100 @default.
• W2158628691 hasBestOaLocation W21586286912 @default.
• W2158628691 hasConcept C102993220 @default.
• W2158628691 hasConcept C104317684 @default.
• W2158628691 hasConcept C105580179 @default.
• W2158628691 hasConcept C11413529 @default.
• W2158628691 hasConcept C118615104 @default.
• W2158628691 hasConcept C136119220 @default.
• W2158628691 hasConcept C138268822 @default.
• W2158628691 hasConcept C149364088 @default.
• W2158628691 hasConcept C154945302 @default.
• W2158628691 hasConcept C160131679 @default.
• W2158628691 hasConcept C177264268 @default.
• W2158628691 hasConcept C184337299 @default.
• W2158628691 hasConcept C185592680 @default.
• W2158628691 hasConcept C199360897 @default.
• W2158628691 hasConcept C202444582 @default.
• W2158628691 hasConcept C206880738 @default.
• W2158628691 hasConcept C2777212361 @default.
• W2158628691 hasConcept C2778029271 @default.
• W2158628691 hasConcept C33203268 @default.
• W2158628691 hasConcept C33923547 @default.
• W2158628691 hasConcept C41008148 @default.
• W2158628691 hasConcept C55493867 @default.
• W2158628691 hasConcept C69562738 @default.
• W2158628691 hasConcept C80444323 @default.
• W2158628691 hasConceptScore W2158628691C102993220 @default.
• W2158628691 hasConceptScore W2158628691C104317684 @default.
• W2158628691 hasConceptScore W2158628691C105580179 @default.
• W2158628691 hasConceptScore W2158628691C11413529 @default.
• W2158628691 hasConceptScore W2158628691C118615104 @default.
• W2158628691 hasConceptScore W2158628691C136119220 @default.
• W2158628691 hasConceptScore W2158628691C138268822 @default.
• W2158628691 hasConceptScore W2158628691C149364088 @default.
• W2158628691 hasConceptScore W2158628691C154945302 @default.
• W2158628691 hasConceptScore W2158628691C160131679 @default.
• W2158628691 hasConceptScore W2158628691C177264268 @default.
• W2158628691 hasConceptScore W2158628691C184337299 @default.
• W2158628691 hasConceptScore W2158628691C185592680 @default.
• W2158628691 hasConceptScore W2158628691C199360897 @default.
• W2158628691 hasConceptScore W2158628691C202444582 @default.
• W2158628691 hasConceptScore W2158628691C206880738 @default.
• W2158628691 hasConceptScore W2158628691C2777212361 @default.
• W2158628691 hasConceptScore W2158628691C2778029271 @default.
• W2158628691 hasConceptScore W2158628691C33203268 @default.
• W2158628691 hasConceptScore W2158628691C33923547 @default.
• W2158628691 hasConceptScore W2158628691C41008148 @default.
• W2158628691 hasConceptScore W2158628691C55493867 @default.
• W2158628691 hasConceptScore W2158628691C69562738 @default.
• W2158628691 hasConceptScore W2158628691C80444323 @default.
• W2158628691 hasLocation W21586286911 @default.
• W2158628691 hasLocation W21586286912 @default.
• W2158628691 hasOpenAccess W2158628691 @default.
• W2158628691 hasPrimaryLocation W21586286911 @default.
• W2158628691 hasRelatedWork W1487202929 @default.
• W2158628691 hasRelatedWork W1488853201 @default.
• W2158628691 hasRelatedWork W1535888907 @default.
• W2158628691 hasRelatedWork W1561011284 @default.
• W2158628691 hasRelatedWork W1570374618 @default.
• W2158628691 hasRelatedWork W1582842241 @default.
• W2158628691 hasRelatedWork W1995955735 @default.
• W2158628691 hasRelatedWork W1997790035 @default.
• W2158628691 hasRelatedWork W2053017611 @default.
• W2158628691 hasRelatedWork W2073491323 @default.
• W2158628691 hasRelatedWork W2088374045 @default.
• W2158628691 hasRelatedWork W2124145632 @default.
• W2158628691 hasRelatedWork W2126382654 @default.
• W2158628691 hasRelatedWork W2146819619 @default.

• next