The phrase "a logical theory" is correct and usable in written English.
It can be used when discussing a theory that is based on reasoning and sound principles, often in academic or philosophical contexts.
Example: "In her dissertation, she proposed a logical theory to explain the relationship between human behavior and decision-making processes."
Alternatives: "a rational theory" or "a coherent theory".
At first, the hunt and its veterinarians believed that a tick-borne disease was responsible -- a logical theory, given the prevalence of Lyme disease in the area.
Asked if Lubitz had committed suicide, Robin said he did not call it that but that it was a logical theory to consider.
Since component interaction is achieved by means of coordination, a component or subsystem can be represented by a logical theory isolated from the rest of the system.
In this setting, queries are therefore answered against a logical theory constituted by the EDB and the ontology; more specifically, query answering amounts to computing the answers to the query that are entailed by the EDB and the ontology.
In particular, a logical theory of defeasible consequence will have epistemological consequences.
Formally, an ontology is the statement of a logical theory (Gruber 1993).
It is, I argue, an operator working in the context of a broader logical theory and blocking certain inferences that, according to critics such as Pierre Bayle, lead Spinoza's metaphysical system into absurdities.
"There's a very logical theory that would say that that's what it could be," he said.
We build on a general logical theory of action developed by Reiter and others, formalized in the situation calculus.
Moreover, Kurt Gödel's first incompleteness theorem (1931) proves that there cannot be a single logical theory from which the whole of mathematics is derivable: all consistent theories of arithmetic are necessarily incomplete.
Frege therefore sought a deeper logical theory that might be able to vouchsafe for numbers these latter characteristics, and thereby solve the Caesar Problem.
