Template:Bibtex:pd01modal

From The Twelf Project
Jump to: navigation, search

Frank Pfenning, Rowan Davies - A judgmental reconstruction of modal logic
Mathematical. Structures in Comp. Sci. 11(4):511--540, New York, NY, USA,2001
Bibtex
Author : Frank Pfenning, Rowan Davies
Title : A judgmental reconstruction of modal logic
In : Mathematical. Structures in Comp. Sci. -
Address : New York, NY, USA
Date : 2001