Global Information Lookup Global Information

Standard translation information


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

Request time (Page generated in 0.8405 seconds.)

Standard translation

Last Update:

In modal logic, standard translation is a logic translation that transforms formulas of modal logic into formulas of first-order logic which capture the...

Word Count : 845

Holman Christian Standard Bible

Last Update:

The Holman Christian Standard Bible (HCSB) is a modern English Bible translation from Holman Bible Publishers. The New Testament was published in 1999...

Word Count : 733

Translation

Last Update:

Translation-quality standards Translation scholars Translation services of the European Parliament Translation studies Translation-quality standards Transliteration...

Word Count : 20382

Modern English Bible translations

Last Update:

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...

Word Count : 2490

Google Translate

Last Update:

Google Translate is a multilingual neural machine translation service developed by Google to translate text, documents and websites from one language...

Word Count : 9873

DNA and RNA codon tables

Last Update:

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...

Word Count : 1354

Machine translation

Last Update:

language translation, including cryptanalysis, frequency analysis, and probability and statistics, which are used in modern machine translation. The idea...

Word Count : 6999

English Standard Version

Last Update:

faithfulness in translating the original text into English. It describes the ESV as a translation that adheres to an "essentially literal" translation philosophy...

Word Count : 6743

Bible translations into English

Last Update:

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...

Word Count : 3410

Christian Standard Bible

Last Update:

The Christian Standard Bible (CSB) is a translation of the Bible in contemporary English. Published by Holman Bible Publishers in 2017 as the successor...

Word Count : 861

New Revised Standard Version

Last Update:

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...

Word Count : 2903

Bible translations

Last Update:

English translations Bible translations into English Other languages Bible translations by language Difficulties Gender in Bible translation Translation#Fidelity...

Word Count : 5744

New American Standard Bible

Last Update:

The New American Standard Bible (NASB, also simply NAS for "New American Standard") is a translation of the Bible in contemporary English. Published by...

Word Count : 1421

Revised Standard Version

Last Update:

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...

Word Count : 2716

Literal translation

Last Update:

Literal translation, direct translation, or word-for-word translation is a translation of a text done by translating each word separately without looking...

Word Count : 943

Literal Standard Version

Last Update:

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...

Word Count : 852

Medical translation

Last Update:

choose translation agencies certified or compliant with one or more of the following standards: EN 15038 — European standard for translation vendor quality...

Word Count : 357

Translation memory

Last Update:

previously been translated, in order to aid human translators. The translation memory stores the source text and its corresponding translation in language...

Word Count : 4334

New Living Translation

Last Update:

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...

Word Count : 1437

Standard deviation

Last Update:

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...

Word Count : 7602

Stop codon

Last Update:

or initiation factors to start translation, a stop codon alone is sufficient to initiate termination. In the standard genetic code, there are three different...

Word Count : 2789

Logic translation

Last Update:

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...

Word Count : 7521

New World Translation of the Holy Scriptures

Last Update:

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;...

Word Count : 9925

International Standard Version

Last Update:

The International Standard Version or ISV is an English translation of the Bible for which translation was complete and published electronically in 2011...

Word Count : 222

American Standard Version

Last Update:

The American Standard Version (ASV), officially Revised Version, Standard American Edition, is a Bible translation into English that was completed in...

Word Count : 1120

The Passion Translation

Last Update:

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...

Word Count : 956

Quran translations

Last Update:

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...

Word Count : 7054

PDF Search Engine © AllGlobal.net