Sequential reflexive logics with noncontingency operator

DOI10.1023/A:1021485712270zbMath1027.03016OpenAlexW106772436MaRDI QIDQ1810258

Evgeni E. Zolin

Publication date: 15 June 2003

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021485712270

zbMATH Keywords

cut eliminationprovabilityHilbert calculiCraig interpolation propertysubformula propertyanalytic cutnoncontingency logicssequential calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (3)

Logic for describing strong belief-disagreement between agents ⋮ Zolin and Pizzi: defining necessity from noncontingency ⋮ A logic for disjunctive ignorance

This page was built for publication: Sequential reflexive logics with noncontingency operator