Philosophers of science often assume that logically equivalent theories are theoretically equivalent. I argue that two theses, anti-exceptionalism about logic (which says, roughly, that logic is not a ...
Studia Logica: An International Journal for Symbolic Logic, Vol. 101, No. 1 (February 2013), pp. 31-44 (14 pages) Provability logic is a modal logic for studying properties of provability predicates, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback