7 search results - page 2 / 2 » Algebraic Study of Lattice-Valued Logic and Lattice-Valued M... |
CSL
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
APAL
2010
13 years 7 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...