Uneingeschränkter Zugang

Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II

Takao Inoué

Takao Inoué

Department of Medical Molecular Informatics, Meiji Pharmaceutical University, Graduate School of Science and Engineering, Hosei University, Hosei UniversityTokyo,
Orcid-Profil
Suche nach diesem Autor auf
Sciendo|Google Scholar
Inoué, Takao
 und 
Riku Hanaoka

Riku Hanaoka

Tokyo, Japan
Suche nach diesem Autor auf
Sciendo|Google Scholar
Hanaoka, Riku
  
21. Dez. 2022
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II's Cover Image
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zitieren
COVER HERUNTERLADEN
Online veröffentlicht: 21. Dez. 2022
Seitenbereich: 1 - 12
Akzeptiert: 30. Apr. 2022
DOI: https://doi.org/10.2478/forma-2022-0001
Schlüsselwörter
© 2022 Takao Inoué et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
1 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Informatik, Informatik, andere, Mathematik, Mathematik, Allgemeines
Zeitschrift RSS Feed