FRINK Linked Data Fragments server

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

• W290590429 abstract "The aims of this paper are twofold: First, we review the automated deduction method for normal multi-modal logics which has shown to be the most general and fruitful, namely translation into first-order theories, and more precisely, the functional translation into equational theories with ordered sorts Second, to show how this method can be extended to monotonic modal logics through a translation from the latter into normal modal logics." @default.
• W290590429 created "2016-06-24" @default.
• W290590429 creator A5004332415 @default.
• W290590429 creator A5012406395 @default.
• W290590429 date "1995-01-01" @default.
• W290590429 modified "2023-09-25" @default.
• W290590429 title "Translation-based deduction methods for modal logics" @default.
• W290590429 cites W112643067 @default.
• W290590429 cites W1527720545 @default.
• W290590429 cites W1546547616 @default.
• W290590429 cites W1582842241 @default.
• W290590429 cites W1596067335 @default.
• W290590429 cites W1600348701 @default.
• W290590429 cites W1602277335 @default.
• W290590429 cites W1602618877 @default.
• W290590429 cites W1870572278 @default.
• W290590429 cites W1981173442 @default.
• W290590429 cites W2018509459 @default.
• W290590429 cites W2063582240 @default.
• W290590429 cites W2088374045 @default.
• W290590429 cites W2110491962 @default.
• W290590429 cites W2122155269 @default.
• W290590429 cites W2163751633 @default.
• W290590429 cites W2164522856 @default.
• W290590429 cites W2170967726 @default.
• W290590429 cites W639958188 @default.
• W290590429 doi "https://doi.org/10.1007/bfb0035973" @default.
• W290590429 hasPublicationYear "1995" @default.
• W290590429 type Work @default.
• W290590429 sameAs 290590429 @default.
• W290590429 citedByCount "1" @default.
• W290590429 countsByYear W2905904292018 @default.
• W290590429 crossrefType "book-chapter" @default.
• W290590429 hasAuthorship W290590429A5004332415 @default.
• W290590429 hasAuthorship W290590429A5012406395 @default.
• W290590429 hasConcept C102993220 @default.
• W290590429 hasConcept C104317684 @default.
• W290590429 hasConcept C105580179 @default.
• W290590429 hasConcept C11191006 @default.
• W290590429 hasConcept C114092440 @default.
• W290590429 hasConcept C11413529 @default.
• W290590429 hasConcept C134306372 @default.
• W290590429 hasConcept C149364088 @default.
• W290590429 hasConcept C154945302 @default.
• W290590429 hasConcept C185592680 @default.
• W290590429 hasConcept C188027245 @default.
• W290590429 hasConcept C199343813 @default.
• W290590429 hasConcept C203659156 @default.
• W290590429 hasConcept C27508121 @default.
• W290590429 hasConcept C2777686260 @default.
• W290590429 hasConcept C33923547 @default.
• W290590429 hasConcept C41008148 @default.
• W290590429 hasConcept C55493867 @default.
• W290590429 hasConcept C71139939 @default.
• W290590429 hasConcept C71924100 @default.
• W290590429 hasConcept C72169020 @default.
• W290590429 hasConceptScore W290590429C102993220 @default.
• W290590429 hasConceptScore W290590429C104317684 @default.
• W290590429 hasConceptScore W290590429C105580179 @default.
• W290590429 hasConceptScore W290590429C11191006 @default.
• W290590429 hasConceptScore W290590429C114092440 @default.
• W290590429 hasConceptScore W290590429C11413529 @default.
• W290590429 hasConceptScore W290590429C134306372 @default.
• W290590429 hasConceptScore W290590429C149364088 @default.
• W290590429 hasConceptScore W290590429C154945302 @default.
• W290590429 hasConceptScore W290590429C185592680 @default.
• W290590429 hasConceptScore W290590429C188027245 @default.
• W290590429 hasConceptScore W290590429C199343813 @default.
• W290590429 hasConceptScore W290590429C203659156 @default.
• W290590429 hasConceptScore W290590429C27508121 @default.
• W290590429 hasConceptScore W290590429C2777686260 @default.
• W290590429 hasConceptScore W290590429C33923547 @default.
• W290590429 hasConceptScore W290590429C41008148 @default.
• W290590429 hasConceptScore W290590429C55493867 @default.
• W290590429 hasConceptScore W290590429C71139939 @default.
• W290590429 hasConceptScore W290590429C71924100 @default.
• W290590429 hasConceptScore W290590429C72169020 @default.
• W290590429 hasLocation W2905904291 @default.
• W290590429 hasOpenAccess W290590429 @default.
• W290590429 hasPrimaryLocation W2905904291 @default.
• W290590429 hasRelatedWork W112643067 @default.
• W290590429 hasRelatedWork W119381390 @default.
• W290590429 hasRelatedWork W1529747067 @default.
• W290590429 hasRelatedWork W1554833845 @default.
• W290590429 hasRelatedWork W1759853938 @default.
• W290590429 hasRelatedWork W1771944222 @default.
• W290590429 hasRelatedWork W182384250 @default.
• W290590429 hasRelatedWork W1850143027 @default.
• W290590429 hasRelatedWork W1963666633 @default.
• W290590429 hasRelatedWork W1969011867 @default.
• W290590429 hasRelatedWork W201372017 @default.
• W290590429 hasRelatedWork W2025362088 @default.
• W290590429 hasRelatedWork W2048200765 @default.
• W290590429 hasRelatedWork W2113066314 @default.
• W290590429 hasRelatedWork W2169882082 @default.
• W290590429 hasRelatedWork W2759672591 @default.
• W290590429 hasRelatedWork W32201408 @default.
• W290590429 hasRelatedWork W59705961 @default.
• W290590429 hasRelatedWork W74396429 @default.
• W290590429 hasRelatedWork W982481174 @default.

• next