Logically true sentences and logical inferences convey the same empirical information, but their analytic information may differ.
In this respect, Justification Logic goes beyond Cresswell's expectations: logically equivalent sentences display different but constructively controlled epistemic behavior.
The major steps to build a simulation in MedModel are sequenced logically: locations, entities (patients), resources (staff), arrivals, and processing.
Extensionality guarantees that the logic of contraction is extensional in the sense of allowing logically equivalent sentences to be freely substituted for each other.
It also enables him to identify logically true sentences with those that are true in every interpretation (in "every possible world").
Then logically equivalent sentences have the same designation, but may have different senses.
It is merely expressed by two different, but logically equivalent sentences.
The axioms for plausibility relations say that tautologies are more plausible than contradictions, any two logically equivalent sentences are plausibility-related to other sentence in precisely the same way, a sentence is no more plausible than the sentences it logically entails, and the no more plausible than relation is transitive.
Considerations on the properties of logically true sentences led him to think of S5 as the right system to formalize this 'informal' notion.
Richard's identity is uncertain, but he is known to be the author of a collection of logically puzzling sentences, sometimes called "sophisms", entitled Abstractiones.
Opposition to assumption (i) rests on the view that expressibility by logically equivalent sentences may be a necessary, but is not a sufficient condition for fact identity.
