The following pages link to Yoshihito Tanaka (Q195363):
Displaying 12 items.
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- Duality for \(\kappa\)-additive complete atomic modal algebras (Q829760) (← links)
- A map of common knowledge logics (Q1611251) (← links)
- An infinitary extension of Jankov's theorem (Q2454639) (← links)
- Cut-elimination Theorems for Some Infinitary Modal Logics (Q2743647) (← links)
- (Q4329246) (← links)
- (Q4465172) (← links)
- A cut-free proof system for a predicate extension of the logic of provability (Q4627727) (← links)
- STABILITY OF RAREFACTION WAVES FOR A MODEL SYSTEM OF A RADIATING GAS (Q4660367) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- Model existence in non-compact modal logic (Q5939997) (← links)
- An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics (Q6094145) (← links)
