New Essays in Free Logic in Honour of Karel Lambert
暂无分享,去创建一个
Preface. Free Logic: A Fifty-Year Past and an Open Future E. Morscher, P. Simons. Part I: Names and Definite Descriptions. Free Logic and Definite Descriptions K. Lambert. Calculi of Names: Free and Modal P. Simons. Part II: Modalities. Free Logic and Quantification in Syntactic Modal Contexts P. Schweizer. Substitution, Quantifiers and Identity in Modal Logic S. Ghilardi. Free Epistemic Logic W. Lenzen. Part III: Semantics and Programming. Supervaluational Free Logic and the Logic of Information Growth J.B. Escriba. 'No Input, No Output' Logic S. Lehmann. Free Logic in Program Specification and Verification R.D. Gumb. Part IV: History. Existence and Reference in Medieval Logic G. Klima. Can Meinongian Logic Be Free? J. Pasniczek. Part V: Comments. Comments K. Lambert. Index of persons.