Criterion of global admissibility for logic $\mathrm{IPC}$

Vitaliy V. Rimatskiy

Siberian Federal University, Krasnoyarsk, Russian Federation

Abstract: We describe globally admissible inference rules for logic $\mathrm {IPC}$.

Keywords: modal logic, frame and model Kripke, admissible and globally admissible inference rule.

UDC: 510.643; 517.11

Received: 29.04.2023
Received in revised form: 16.06.2023
Accepted: 01.08.2023

Language: English