Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, a field ...
MIT Press recently published Fundamental Proof Methods in Computer Science, a book by Konstantine Arkoudas and David Musser, a professor emeritus of computer science at the Rensselaer Polytechnic ...
This is a preview. Log in through your library . Journal Information The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued ...
Daniele Mundici, A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic, The Journal of Symbolic Logic, Vol. 59, No. 2 (Jun., 1994), pp. 596-602 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback