FRINK Linked Data Fragments server

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

• W2169882082 abstract "This paper gives an overview on translation methods we have developed for nonclassical logics, in particular for modal logics. Optimized ’functional’ and semi-functional translation into predicate logic is described. Using normal modal logic as an intermediate logic, other logics can be translated into predicate logic as well. As an example, the translation of modal logic of graded modalities is sketched. In the second part of the paper it is shown how to translate Hilbert axioms into properties of the semantic structure and vice versa, i.e. we can automate important parts of correspondence theory. The exact formalisms and the soundness and completeness proofs can be found in the original papers." @default.
• W2169882082 created "2016-06-24" @default.
• W2169882082 creator A5021070111 @default.
• W2169882082 date "1993-01-01" @default.
• W2169882082 modified "2023-09-28" @default.
• W2169882082 title "Translation Methods for Non-Classical Logics: An Overview" @default.
• W2169882082 cites W10343000 @default.
• W2169882082 cites W1498428138 @default.
• W2169882082 cites W1500227673 @default.
• W2169882082 cites W1530999579 @default.
• W2169882082 cites W1559159242 @default.
• W2169882082 cites W1565318348 @default.
• W2169882082 cites W1570783318 @default.
• W2169882082 cites W1582842241 @default.
• W2169882082 cites W1588876385 @default.
• W2169882082 cites W1599699270 @default.
• W2169882082 cites W1600348701 @default.
• W2169882082 cites W1600506797 @default.
• W2169882082 cites W1989151171 @default.
• W2169882082 cites W1994476007 @default.
• W2169882082 cites W1996999450 @default.
• W2169882082 cites W2008621787 @default.
• W2169882082 cites W2049069994 @default.
• W2169882082 cites W2051878948 @default.
• W2169882082 cites W2057503265 @default.
• W2169882082 cites W2063582240 @default.
• W2169882082 cites W2088374045 @default.
• W2169882082 cites W2155653377 @default.
• W2169882082 cites W2170967726 @default.
• W2169882082 cites W2189778928 @default.
• W2169882082 cites W2343563019 @default.
• W2169882082 cites W2506786735 @default.
• W2169882082 cites W8551796 @default.
• W2169882082 doi "https://doi.org/10.1093/jigpal/1.1.69" @default.
• W2169882082 hasPublicationYear "1993" @default.
• W2169882082 type Work @default.
• W2169882082 sameAs 2169882082 @default.
• W2169882082 citedByCount "55" @default.
• W2169882082 countsByYear W21698820822013 @default.
• W2169882082 countsByYear W21698820822014 @default.
• W2169882082 countsByYear W21698820822016 @default.
• W2169882082 crossrefType "journal-article" @default.
• W2169882082 hasAuthorship W2169882082A5021070111 @default.
• W2169882082 hasBestOaLocation W21698820822 @default.
• W2169882082 hasConcept C102993220 @default.
• W2169882082 hasConcept C104317684 @default.
• W2169882082 hasConcept C105580179 @default.
• W2169882082 hasConcept C110039528 @default.
• W2169882082 hasConcept C11191006 @default.
• W2169882082 hasConcept C114092440 @default.
• W2169882082 hasConcept C11413529 @default.
• W2169882082 hasConcept C121332964 @default.
• W2169882082 hasConcept C140146324 @default.
• W2169882082 hasConcept C149364088 @default.
• W2169882082 hasConcept C165801399 @default.
• W2169882082 hasConcept C167729594 @default.
• W2169882082 hasConcept C171018156 @default.
• W2169882082 hasConcept C172385210 @default.
• W2169882082 hasConcept C185592680 @default.
• W2169882082 hasConcept C188027245 @default.
• W2169882082 hasConcept C19689857 @default.
• W2169882082 hasConcept C199360897 @default.
• W2169882082 hasConcept C203659156 @default.
• W2169882082 hasConcept C2524010 @default.
• W2169882082 hasConcept C27508121 @default.
• W2169882082 hasConcept C2777796570 @default.
• W2169882082 hasConcept C32241873 @default.
• W2169882082 hasConcept C33203268 @default.
• W2169882082 hasConcept C33923547 @default.
• W2169882082 hasConcept C39920170 @default.
• W2169882082 hasConcept C41008148 @default.
• W2169882082 hasConcept C55493867 @default.
• W2169882082 hasConcept C62520636 @default.
• W2169882082 hasConcept C71139939 @default.
• W2169882082 hasConcept C73314972 @default.
• W2169882082 hasConcept C80444323 @default.
• W2169882082 hasConceptScore W2169882082C102993220 @default.
• W2169882082 hasConceptScore W2169882082C104317684 @default.
• W2169882082 hasConceptScore W2169882082C105580179 @default.
• W2169882082 hasConceptScore W2169882082C110039528 @default.
• W2169882082 hasConceptScore W2169882082C11191006 @default.
• W2169882082 hasConceptScore W2169882082C114092440 @default.
• W2169882082 hasConceptScore W2169882082C11413529 @default.
• W2169882082 hasConceptScore W2169882082C121332964 @default.
• W2169882082 hasConceptScore W2169882082C140146324 @default.
• W2169882082 hasConceptScore W2169882082C149364088 @default.
• W2169882082 hasConceptScore W2169882082C165801399 @default.
• W2169882082 hasConceptScore W2169882082C167729594 @default.
• W2169882082 hasConceptScore W2169882082C171018156 @default.
• W2169882082 hasConceptScore W2169882082C172385210 @default.
• W2169882082 hasConceptScore W2169882082C185592680 @default.
• W2169882082 hasConceptScore W2169882082C188027245 @default.
• W2169882082 hasConceptScore W2169882082C19689857 @default.
• W2169882082 hasConceptScore W2169882082C199360897 @default.
• W2169882082 hasConceptScore W2169882082C203659156 @default.
• W2169882082 hasConceptScore W2169882082C2524010 @default.
• W2169882082 hasConceptScore W2169882082C27508121 @default.
• W2169882082 hasConceptScore W2169882082C2777796570 @default.
• W2169882082 hasConceptScore W2169882082C32241873 @default.
• W2169882082 hasConceptScore W2169882082C33203268 @default.

• next