Temporal Interpretation of Intuitionistic Quantifiers
(2020) : Guram Bezhanishvili and Luca Carai
url: http://www.aiml.net/volumes/volume13/
#godel_translation #intuitional_logic #modal_logic #temporal_interpretation #temporal_logic
#my_bibtex