Gentzen systems for modal logic
From MaRDI portal
Publication:1843557
DOI10.1305/ndjfl/1093891406zbMath0281.02028OpenAlexW2091307959MaRDI QIDQ1843557
Publication date: 1974
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093891406
Related Items (6)
CLASSIFICATION OF TYPES OF SOCIETAL CONFLICTS AND CHARACTERIZATION OF THEIR RESOLUTION PROCESSES BASED ON DEONTIC LOGIC ⋮ Let Us investigate! Dynamic conjecture-making as the formal logic of abduction ⋮ Self-referential justifications in epistemic logic ⋮ The Method of Tree-Hypersequents for Modal Propositional Logic ⋮ An empirical analysis of modal theorem provers ⋮ Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom
This page was built for publication: Gentzen systems for modal logic
