Katsumi Sasaki

Available identifiers

zbMath Open sasaki.katsumiMaRDI QIDQ1208114

List of research outcomes

Publication	Date of Publication	Type
An \(\omega\)-rule for the logic of provability and its models	2024-11-12	Paper
A Classification of Improper Inference Rules	2024-02-29	Paper
A Sequent Systems without Improper Derivations	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	2011-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4822148	2004-10-25	Paper
A cut-free Gentzen formulation of basic propositional calculus	2003-04-27	Paper
A cut-free sequent system for the smallest interpretability logic	2002-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4443211	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4487297	2000-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4704071	1999-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4326748	1995-03-22	Paper
The simple substitution property of the intermediate propositional logics on finite slices	1993-05-16	Paper
The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3491524	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3474634	1989-01-01	Paper

Research outcomes over time

This page was built for person: Katsumi Sasaki