AConcrete S4.2/JT4.2 Example
discussed in Sections 2.7.4,4.3.6, and 4.5.5. As a special case of Theorem 8.15 we know that modal logic S4.2 and justification logic JT4.2 correspond.
It is not known, as of this writing, whether this has a constructive proof. Nonetheless, we now give a concrete instance of an S4.2 theorem, and a corresponding realization. For this example we essentially translate an S4.2 axiomatic proof in its entirety. More will be said about this way of doing things in the next section.It is convenient to assume we have not only an axiomatically appropriate
constant specification, but also one that is schematic. This means that the same Constantjustifies all instances of an axiom schema. The proof of Theorem 2.14 actually shows that a justification term t exists that is variable free and justifies X, and if the constant specification is schematic, it will also justify the result of replacing justification variables in X with more complex justification terms. 
8.8
More on the topic AConcrete S4.2/JT4.2 Example:
-
Contemporary philosophical research -
Fundamentals of philosophy -
Logic -
Philosophy of Science and Technology -
Political philosophy -
Social philosophy -
-
Conflictology -
Ecology -
Economy -
Finance -
History -
Law -
Medicine -
Philosophy -
Religious studies -