Open Access

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 profile
Search for this author on
Sciendo|Google Scholar
Inoué, Takao
 and 
Riku Hanaoka

Riku Hanaoka

Tokyo, Japan
Search for this author on
Sciendo|Google Scholar
Hanaoka, Riku
  
Dec 21, 2022
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II's Cover Image
About this article
Previous Article
Next Article
Cite
Download Cover
Published Online: Dec 21, 2022
Page range: 1 - 12
Accepted: Apr 30, 2022
DOI: https://doi.org/10.2478/forma-2022-0001
Keywords
© 2022 Takao Inoué et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
Language:
English
Publication timeframe:
1 times per year
Journal Subjects:
Computer Sciences, Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed