Acceso abierto

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,
Perfil de Orcid
Buscar este autor en
Sciendo|Google Scholar
Inoué, Takao
 y 
Riku Hanaoka

Riku Hanaoka

Tokyo, Japan
Buscar este autor en
Sciendo|Google Scholar
Hanaoka, Riku
  
21 dic 2022
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II's Cover Image
Acerca de este artículo
Artículo anterior
Artículo siguiente
Cite
Descargar portada
Publicado en línea: 21 dic 2022
Páginas: 1 - 12
Aceptado: 30 abr 2022
DOI: https://doi.org/10.2478/forma-2022-0001
Palabras clave
© 2022 Takao Inoué et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
Idioma:
Inglés
Calendario de la edición:
1 veces al año
Temas de la revista:
Informática, Informática, otros, Matemáticas, Matemáticas generales
RSS Feed de revista