The following pages link to Gentzen systems for modal logic (Q1843557):
Displaying 7 items.
- Self-referential justifications in epistemic logic (Q987374) (← links)
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) (← links)
- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction (Q1633231) (← links)
- The Method of Tree-Hypersequents for Modal Propositional Logic (Q3600562) (← links)
- An empirical analysis of modal theorem provers (Q4443417) (← links)
- CLASSIFICATION OF TYPES OF SOCIETAL CONFLICTS AND CHARACTERIZATION OF THEIR RESOLUTION PROCESSES BASED ON DEONTIC LOGIC (Q4795948) (← links)
- Proof-theoretic results of common sense modal predicate calculi (Q6601690) (← links)
