Authors

P.J.E. Dekker

Date (dd-mm-yyyy)

2024

Title

A Logic for Contextually Restricted Quantification

Publication Year

2024

Number of pages

16

Publisher

ILLC prepublication

Document type

Report

Abstract

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

Permalink

https://hdl.handle.net/11245.1/e0784f3b-1c4b-4ffe-8fd1-b8b72086889c