Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II
By: Takao Inoué and Riku Hanaoka
Language: English
Page range: 1 - 12
Accepted on: Apr 30, 2022
Published on: Dec 21, 2022
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
© 2022 Takao Inoué, Riku Hanaoka, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.