The study of the aesthetic concepts, or, more specifically, the analysis of the "language of criticism," in which particular judgments are singled out and their logic and justification displayed.
Conceptions of rationality, and its key components of logic and justification, are some of the principles that are often used to differentiate between epistemic systems.
As time passed, fear turned into boredom, adrenaline stabilized, and my doubts about the extent of the operational logic and its justification would return to gnaw at me.
Once war begins, it will develop a momentum, a logic and a justification of its own, and we'll lose sight of why it's being fought in the first place.
This idea has been explored in Sedlár (2013) which worked with the language of \ \textsf{LP}\), thinking of it as a multi-agent modal logic, and taking justification terms as agents (more properly, actions of agents).
So when we discover that life exists or existed elsewhere in our solar system or on a planet orbiting another star in the Milky Way, or in a planetary system in another galaxy, we will see a huge effort to square that circle with amazing twists of logic and contorted justifications.
Game semantics of Justification Logic and Dynamic Epistemic Logic with justifications were studied in (Renne 2008, Renne 2009).
Going further \({\textsf{LP}}\), and Justification Logic in general, is not only sufficiently refined to distinguish justification assertions for logically equivalent sentences, it provides a flexible machinery to connect justifications of equivalent sentences and hence to maintain constructive closure properties necessary for a quality logic system.
Connections between Justification Logic and the problem of logical omniscience were examined in (Artemov and Kuznets 2009, Wang 2009).
For Popper a theory of scientific knowledge was to be not a subjective or descriptive account, but a normative logic of justification and demarcation.
In the epistemic context, Justification Logic and the Correspondence Theorem add a new 'justification' component to modal logics of knowledge and belief.
