Found 1 document(s)
Page 1 of 1
-
In this paper we present two different sequent calculi for modal logic S5, each of which reflects, at the syntactic level, one of the two ways of describing S5 semantically. We will analyze both these sequent calculi in ...