Skip to search formSkip to main contentSkip to account menu

Standard translation

In modal logic, standard translation is a way of transforming formulas of modal logic into formulas of first-order logic which capture the meaning of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Accessibility relationAtomic formulaFirst-order logicFree variables and bound variables

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
2014
2014
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
Decidability and complexity of the satisfiability problem for the logics of time intervals have been extensively studied in the… 
2013
2013
Validación de la escala de somnolencia de Epworth en población mexicana
La escala de somnolencia de Epworth (ESE) es ampliamente utilizada para la evaluacion subjetiva de la somnolencia. Aunque existen… 
Highly Cited
2010
Highly Cited
2010
Fast interscale wavelet denoising of Poisson-corrupted images
2010
2010
Some remarks on the model theory of epistemic plausibility models
  • L. Demey
  • J. Appl. Non Class. Logics
  • 2010
  • Corpus ID: 17907521
The aim of this paper is to initiate a systematic exploration of the model theory of epistemic plausibility models (EPMs). There… 
2009
2009
Translation disambiguation for cross-language information retrieval using context-based translation probability
Disambiguation between multiple translation choices is very important in dictionary-based cross-language information retrieval… 
2009
2009
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
2008
2008
Threshold networks for pattern classification
This paper describes a method of constructing one-hidden layer feedforward linear threshold networks to represent Boolean… 
Highly Cited
2004
Highly Cited
2004
A Unified Approach in Speech-to-Speech Translation: Integrating Features of Speech recognition and Machine Translation
Based upon a statistically trained speech translation system, in this study, we try to combine distinctive features derived from… 
1982
1982
Is Binary Encoding Appropriate for the Problem-Language Relationship?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)