Accès libre

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,
Profil Orcid
Recherchez cet auteur sur
Sciendo|Google Scholar
Inoué, Takao
 et 
Riku Hanaoka

Riku Hanaoka

Tokyo, Japan
Recherchez cet auteur sur
Sciendo|Google Scholar
Hanaoka, Riku
  
21 déc. 2022
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II's Cover Image
À propos de cet article
Article précédent
Article suivant
Citez
Télécharger la couverture
Publié en ligne: 21 déc. 2022
Pages: 1 - 12
Accepté: 30 avr. 2022
DOI: https://doi.org/10.2478/forma-2022-0001
Mots clés
© 2022 Takao Inoué et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
Langue:
Anglais
Périodicité:
1 fois par an
Sujets de la revue:
Informatique, Informatique, autres, Mathématiques, Mathématiques générales
RSS Feed de la revue