Formal Specification

Multimodal Logic Integration

Five modal logics via fusion with bridge principles:

• JL: Justification Logic - evidence-backed claims
• IEL: Inferential Erotetic Logic - question handling
• TEL: Temporal Epistemic Logic - phase sequencing
• SDL: Standard Deontic Logic - obligations/permissions
• DEL: Dynamic Epistemic Logic - action modalities

Justification Logic (JL)

# Justification terms
[h]:context(task_n)                    # Handoff h justifies task context
[v]:verified(phase_n)                  # Verification v justifies completion
[p]:plan(tasks)                        # Plan p justifies task list