INCLUSION CRITERIA
An entry belongs in this division if and only if it is a formal logic whose distinctive connectives, semantics, or intended models are individuated by an application domain.
Required: Both of the following:
- An explicit consequence, validity, or typing relation (the object satisfies the collection's root criteria)
- A domain orientation—computation, verification, knowledge, language, probability, games, space, or quantum systems—that shapes its formal apparatus
Not sufficient: A general-purpose logic with no domain specialization (that belongs in Algebraic, Modal, Structural, Type, or Team). A bare axiomatization with no domain orientation (that belongs in Theories). A metatheoretic result about such logics (that belongs in Metatheory). An argumentation practice without a defined consequence relation (that belongs in the Argumentation and Rhetoric collection).
Boundary: Formal argumentation frameworks (abstract, bipolar, assumption-based) that define an acceptability relation live in Knowledge; rhetorical and dialectical traditions that regulate argument as a practice live in Argumentation and Rhetoric. Temporal and dynamic logics used for verification are cross-listed with Modal.