Publications

Authors:

Martini, Simone; Masini, Andrea; Zorzi, Margherita

Title:

A natural deduction calculus for S4.2

Year:

2024

Type of item:

Articolo in Rivista

Tipologia ANVUR:

Articolo su rivista

Language:

Inglese

Format:

Elettronico

Referee:

Sì

Name of journal:

Notre Dame Journal of Formal Logic

ISSN of journal:

0029-4527

N° Volume:

65

Number or Folder:

2

:

Project Euclid

Page numbers:

127-150

Keyword:

proof theory, natural deduction, normalization, modal logic

Short description of contents:

Abstract We propose a natural deduction calculus for the modal logic S4.2. The system is designed to match as much as possible the structure and the prop- erties of the standard system of natural deduction for first-order classical logic, exploiting the formal analogy between modalities and quantifiers. The system is proved sound and complete w.r.t. the standard Hilbert-style formulation of S4.2. Normalization and its consequences are obtained in a natural way, with proofs that closely follow the analogous ones for first-order logic.

Product ID:

138373

Handle IRIS:

11562/1121587

Last Modified:

April 20, 2025

Bibliographic citation:

Martini, Simone; Masini, Andrea; Zorzi, Margherita, A natural deduction calculus for S4.2 «Notre Dame Journal of Formal Logic» , vol. 65 , n. 2 , 2024 , pp. 127-150

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo