In modal logic, standard translation is a logic translation that transforms formulas of modal logic into formulas of first-order logic which capture the meaning of the modal formulas. Standard translation is defined inductively on the structure of the formula. In short, atomic formulas are mapped onto unary predicates and the objects in the first-order language are the accessible worlds. The logical connectives from propositional logic remain untouched and the modal operators are transformed into first-order formulas according to their semantics.
and 27 Related for: Standard translation information
In modal logic, standardtranslation is a logic translation that transforms formulas of modal logic into formulas of first-order logic which capture the...
The Holman Christian Standard Bible (HCSB) is a modern English Bible translation from Holman Bible Publishers. The New Testament was published in 1999...
Translation-quality standardsTranslation scholars Translation services of the European Parliament Translation studies Translation-quality standards Transliteration...
revision of Taylor's Living Bible was published. This New Living Translation is a full translation from the original languages rather than a paraphrase of the...
Google Translate is a multilingual neural machine translation service developed by Google to translate text, documents and websites from one language...
A codon table can be used to translate a genetic code into a sequence of amino acids. The standard genetic code is traditionally represented as an RNA...
language translation, including cryptanalysis, frequency analysis, and probability and statistics, which are used in modern machine translation. The idea...
faithfulness in translating the original text into English. It describes the ESV as a translation that adheres to an "essentially literal" translation philosophy...
credited with translating what is now known as Wycliffe's Bible, though it is not clear how much of the translation he himself did. This translation came out...
The Christian Standard Bible (CSB) is a translation of the Bible in contemporary English. Published by Holman Bible Publishers in 2017 as the successor...
The New Revised Standard Version (NRSV) is a translation of the Bible in contemporary English. Published in 1989 by the National Council of Churches, the...
English translations Bible translations into English Other languages Bible translations by language Difficulties Gender in Bible translationTranslation#Fidelity...
The New American Standard Bible (NASB, also simply NAS for "New American Standard") is a translation of the Bible in contemporary English. Published by...
The Revised Standard Version (RSV) is an English translation of the Bible published in 1952 by the Division of Christian Education of the National Council...
Literal translation, direct translation, or word-for-word translation is a translation of a text done by translating each word separately without looking...
The Literal Standard Version (LSV) is a Modern English translation of the Bible with a number of distinctive features. It describes itself as the most...
choose translation agencies certified or compliant with one or more of the following standards: EN 15038 — European standard for translation vendor quality...
previously been translated, in order to aid human translators. The translation memory stores the source text and its corresponding translation in language...
The New Living Translation (NLT) is a translation of the Bible in contemporary English. Published in 1996 by Tyndale House Foundation, the NLT was created...
statistics, the standard deviation is a measure of the amount of variation of a random variable expected about its mean. A low standard deviation indicates...
or initiation factors to start translation, a stop codon alone is sufficient to initiate termination. In the standard genetic code, there are three different...
nuances of the original text. A logic translation is a translation of a text into a logical system. For example, translating the sentence "all skyscrapers are...
The New World Translation of the Holy Scriptures (NWT, also simply NW) is a translation of the Bible published by the Watch Tower Bible and Tract Society;...
The International Standard Version or ISV is an English translation of the Bible for which translation was complete and published electronically in 2011...
The American Standard Version (ASV), officially Revised Version, Standard American Edition, is a Bible translation into English that was completed in...
The Passion Translation (TPT) is a modern English translation of the New Testament, and of an increasing number of books from the Hebrew Bible. The goal...
any linguistic rules of translation. The first translation of the Qur'an was performed by Salman the Persian, who translated Surah al-Fatiha into the...