Modal Deduction in Second-Order Logic and Set Theory

Search results

Query: author: "benthem,j.f.a.k.van"

Authors	J.F.A.K. van Benthem, G. D'Agostino, A. Montanari, A. Policriti
Title	Modal Deduction in Second-Order Logic and Set Theory
Faculty	Faculty of Humanities Faculty of Science
Institute/dept.	FGw/FNWI: Institute for Logic, Language and Computation
Keywords	Unknown
Series	ILLC Mathematical Logic and Foundations / ILLC ; ML-1995-2
Abstract	Modal Deduction in Second-Order Logic and Set Theory Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti We investigate modal deduction through translation into standard logic and set theory. Derivability in the minimal modal logic is captured precisely by translation into a weak, computationally attractive set theory \Omega. This approach is shown equivalent to working with standard first-order translations of modal formulas in a theory of general frames. Next, deduction in a more powerful second-order logic of general frames is shown equivalent with set-theoretic derivability in an `admissible variant' of \Omega. Our methods are mainly model-theoretic and set-theoretic, and they admit extension to richer languages than that of basic modal logic.
Document type	Preprint
Download paper	document/1111
Document finder

Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the University Library know, stating your reasons. In case of a legitimate complaint the University Libary will make the material inaccessible and/or remove it from the website.
Please send an e-mail to: dare@uva.nl, or a letter to: Bibliotheek van de Universiteit van Amsterdam, Dept. Electronic Services, UvA-DARE, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.