Suchergebnisse - Kurahashi, Taishi

1

Uniform Lyndon interpolation property in propositional modal logics von Kurahashi, Taishi

Veröffentlicht in Archive for mathematical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC von KURAHASHI, TAISHI

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

On partial disjunction properties of theories containing Peano arithmetic von Kurahashi, Taishi

Veröffentlicht in Archive for mathematical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

$Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations$

Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations von Kurahashi, Taishi

Veröffentlicht in Studia logica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC von FUJIWARA, MAKOTO, KURAHASHI, TAISHI

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

$Arithmetical Completeness Theorem for Modal Logic $$\mathsf{K}$

Arithmetical Completeness Theorem for Modal Logic $$\mathsf{K} von Kurahashi, Taishi

Veröffentlicht in Studia logica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Prenex normalization and the hierarchical classification of formulas von Fujiwara, Makoto, Kurahashi, Taishi

Veröffentlicht in Archive for mathematical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC von FUJIWARA, MAKOTO, KURAHASHI, TAISHI

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC von KURAHASHI, TAISHI, OKUDA, MOTOKI

Veröffentlicht in The review of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Modal completeness of sublogics of the interpretability logic IL von Kurahashi, Taishi, Okawa, Yuya

Veröffentlicht in Mathematical logic quarterly

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Arithmetical completeness theorems for monotonic modal logics von Kogure, Haruka, Kurahashi, Taishi

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

The provability logic of all provability predicates von Kurahashi, Taishi

Veröffentlicht in Journal of logic and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Topological semantics of conservativity and interpretability logics von Iwata, Sohei, Kurahashi, Taishi

Veröffentlicht in Journal of logic and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

The fixed point and the Craig interpolation properties for sublogics of IL von Iwata, Sohei, Kurahashi, Taishi, Okawa, Yuya

Veröffentlicht in Archive for mathematical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

On arithmetical completeness of the logic of proofs von Iwata, Sohei, Kurahashi, Taishi

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

On predicate provability logics and binumerations of fragments of Peano arithmetic von Kurahashi, Taishi

Veröffentlicht in Archive for mathematical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Mathematical developments of the incompleteness theorems von Kurahashi, Taishi

Veröffentlicht in SUGAKU

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

UNIVERSAL ROSSER PREDICATES von KIKUCHI, MAKOTO, KURAHASHI, TAISHI

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY von KURAHASHI, TAISHI

Veröffentlicht in The review of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

ILLUSORY MODELS OF PEANO ARITHMETIC von KIKUCHI, MAKOTO, KURAHASHI, TAISHI

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Uniform Lyndon interpolation property in propositional modal logics von Kurahashi, Taishi

PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC von KURAHASHI, TAISHI

On partial disjunction properties of theories containing Peano arithmetic von Kurahashi, Taishi

Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Numerations von Kurahashi, Taishi

CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC von FUJIWARA, MAKOTO, KURAHASHI, TAISHI

Arithmetical Completeness Theorem for Modal Logic $$\mathsf{K} von Kurahashi, Taishi

Prenex normalization and the hierarchical classification of formulas von Fujiwara, Makoto, Kurahashi, Taishi

PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC von FUJIWARA, MAKOTO, KURAHASHI, TAISHI

DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC von KURAHASHI, TAISHI, OKUDA, MOTOKI

Modal completeness of sublogics of the interpretability logic IL von Kurahashi, Taishi, Okawa, Yuya

Arithmetical completeness theorems for monotonic modal logics von Kogure, Haruka, Kurahashi, Taishi

The provability logic of all provability predicates von Kurahashi, Taishi

Topological semantics of conservativity and interpretability logics von Iwata, Sohei, Kurahashi, Taishi

The fixed point and the Craig interpolation properties for sublogics of IL von Iwata, Sohei, Kurahashi, Taishi, Okawa, Yuya

On arithmetical completeness of the logic of proofs von Iwata, Sohei, Kurahashi, Taishi

On predicate provability logics and binumerations of fragments of Peano arithmetic von Kurahashi, Taishi

Mathematical developments of the incompleteness theorems von Kurahashi, Taishi

UNIVERSAL ROSSER PREDICATES von KIKUCHI, MAKOTO, KURAHASHI, TAISHI

ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY von KURAHASHI, TAISHI

ILLUSORY MODELS OF PEANO ARITHMETIC von KIKUCHI, MAKOTO, KURAHASHI, TAISHI

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle