The following pages link to Tatsuya Shimura (Q1208112):
Displayed 13 items.
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster (Q1582312) (← links)
- (Q3141958) (← links)
- On the strength of PA with a non-principal ultrafilter quantifier (Q3976993) (← links)
- (Q4025008) (← links)
- (Q4287341) (← links)
- Cut‐Elimination Theorem for the Logic of Constant Domains (Q4304102) (← links)
- (Q4443188) (← links)
- (Q4443213) (← links)
- (Q4526734) (← links)
- (Q4703138) (← links)
- (Q4704070) (← links)
- (Q4834486) (← links)