X-2024-05: A Logic for Contextually Restricted Quantification

X-2024-05: Dekker, Paul (2024) A Logic for Contextually Restricted Quantification. [Report]

Text 24Dekker-CRQ.pdf Download (490kB)

Abstract

This note presents, motivates and details, a logic —model and proof theory— for a first order language with contextually restricted quantification.

Item Type:	Report
Report Nr:	X-2024-05
Series Name:	Technical Notes (X) Series
Year:	2024
Uncontrolled Keywords:	Quantification, context.
Subjects:	Language Logic
Depositing User:	Paul Dekker
Date Deposited:	03 Nov 2024 05:20
Last Modified:	03 Nov 2024 05:20
URI:	https://eprints.illc.uva.nl/id/eprint/2339

Actions (login required)

View Item