Katsumi Sasaki

MaRDI QIDQ1208114zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An \(\omega\)-rule for the logic of provability and its models Studia Logica	2024-11-12	Paper
A Classification of Improper Inference Rules Bulletin of the Section of Logic	2024-02-29	Paper
A Sequent Systems without Improper Derivations Bulletin of the Section of Logic	2023-06-15	Paper
An $\omega$-rule for the logic of provability and its models	2020-02-11	Paper
Transitivity of finite models constructed from normal forms for a modal logic containing K4	2014-04-29	Paper
Formulas in modal logic S4 The Review of Symbolic Logic	2011-01-12	Paper
scientific article; zbMATH DE number 2109538 (Why is no real title available?)	2004-10-25	Paper
A cut-free Gentzen formulation of basic propositional calculus Journal of Logic, Language and Information	2003-04-27	Paper
A cut-free sequent system for the smallest interpretability logic Studia Logica	2002-07-08	Paper
scientific article; zbMATH DE number 2024634 (Why is no real title available?)	2002-01-01	Paper
scientific article; zbMATH DE number 1463149 (Why is no real title available?)	2000-11-07	Paper
scientific article; zbMATH DE number 1373382 (Why is no real title available?)	1999-12-02	Paper
scientific article; zbMATH DE number 736425 (Why is no real title available?)	1995-03-22	Paper
The simple substitution property of the intermediate propositional logics on finite slices Studia Logica	1993-05-16	Paper
The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s Studia Logica	1992-06-25	Paper
scientific article; zbMATH DE number 4164811 (Why is no real title available?)	1990-01-01	Paper
scientific article; zbMATH DE number 4142009 (Why is no real title available?)	1989-01-01	Paper

Research outcomes over time

This page was built for person: Katsumi Sasaki