Yoshihito Tanaka

Available identifiers

Publication	Date of Publication	Type
An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics	2023-09-12	Paper
Duality for $\kappa$-additive complete atomic modal algebras	2021-05-06	Paper
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS	2020-04-06	Paper
An $\omega$-rule for the logic of provability and its models	2020-02-11	Paper
A cut-free proof system for a predicate extension of the logic of provability	2019-03-11	Paper
Duality for $\kappa$-additive complete atomic modal algebras	2018-04-29	Paper
An infinitary extension of Jankov's theorem	2007-10-16	Paper
STABILITY OF RAREFACTION WAVES FOR A MODEL SYSTEM OF A RADIATING GAS	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4465172	2004-05-27	Paper
Kripke completeness of infinitary predicate multimodal logics	2003-03-27	Paper
A map of common knowledge logics	2002-08-21	Paper
Cut-elimination Theorems for Some Infinitary Modal Logics	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4329246	2002-04-29	Paper
Model existence in non-compact modal logic	2001-10-31	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yoshihito Tanaka