Accesso libero

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,
Profilo Orcid
Cerca questo autore su
Sciendo|Google Scholar
Inoué, Takao
 e 
Riku Hanaoka

Riku Hanaoka

Tokyo, Japan
Cerca questo autore su
Sciendo|Google Scholar
Hanaoka, Riku
  
21 dic 2022
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II's Cover Image
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Cita
Scarica la copertina
Pubblicato online: 21 dic 2022
Pagine: 1 - 12
Accettato: 30 apr 2022
DOI: https://doi.org/10.2478/forma-2022-0001
Parole chiave
© 2022 Takao Inoué et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
Lingua:
Inglese
Frequenza di pubblicazione:
1 volte all'anno
Argomenti della rivista:
Informatica, Informatica, altro, Matematica, Matematica generale
Feed RSS della rivista