A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$

We present a justification logic corresponding to the modal logic of transitive closure $\mathsf{K}^+$ and establish a normal realization theorem relating these two systems. The result is obtained by means of a sequent calculus allowing non-well-founded proofs.

Authors

Institutions

Publication Details

Journal
Izvestiya Mathematics
Published
2025-01-01
DOI
https://doi.org/10.4213/im9598e
Citations
2
Primary Topic
Logic, Reasoning, and Knowledge
Type
article
Field-Weighted Citation Impact
4.96

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$

Daniyar Shamkanov
2 citations
Izvestiya Mathematics
Logic, Reasoning, and Knowledge
4.96
article

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$

Daniyar Shamkanov
article en
2 citations

Abstract

We present a justification logic corresponding to the modal logic of transitive closure $\mathsf{K}^+$ and establish a normal realization theorem relating these two systems. The result is obtained by means of a sequent calculus allowing non-well-founded proofs.

Izvestiya MathematicsVol. 89(2)
National Research University Higher School of Economics (RU), Russian Academy of Sciences (RU), Steklov Mathematical Institute (RU)
National Research University Higher School of Economics
Openalex Percentile: Top 5%
Logic, Reasoning, and Knowledge
4.96
DOIOpen Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.