Sentence examples for logical characterization from inspiring English sources

We also provide a logical characterization in terms of a natural monadic second-order logic interpreted over MSCs.

One natural question was if the logical characterization of PTIME mentioned above could be improved using generalized quantifiers, in particular if one could remove the restriction to ordered structures in this way.

We provide two kinds of semantics for this idea, give a logical characterization of the new model, study its relation with other operations of belief revision and contraction, and discuss its intuitive strengths and weaknesses.

The second part of the paper shows how this logical characterization of inductive generalization can be integrated with another form of non-monotonic reasoning (argumentation), to define a model of multiagent ICL.

Declarative models of syntax realize the scientific architecture typical for the natural sciences by separating the modeling of the domain and the logical characterization of the generalizations which hold in it from the design of algorithms which procedurally realize such models.

However, note that in recent years, a number of logical characterizations of Nash equilibrium do explicitly use epistemic concepts (see, for example, van Benthem et al. 2009; Lorini & Schwarzentruber 2010).

The novelty introduced in SL2013 was the use of logical structure for characterization of malicious and benign PDF files.

Declarative models of syntax were developed to overcome these shortcomings by providing – in line with standard practice in the natural sciences – a logical, non-procedural characterization of the empirical domain.

But since the division is not based on a previous characterization of logical terms generally applicable to arbitrary languages, to that extent the definition of logical consequence is not fully general, and hence unsatisfactory.

Using another terminology, this means that, if one builds one's calculus with care, one will be convinced that the derivability characterization of logical truth for formulae of the formalized language will be sound with respect to logical truth.

In him there also appeared the first clear separation between the formal characterization of logical laws and their semantic justification.