A Logic for Contextually Restricted Quantification
| Authors | |
|---|---|
| Publication date | 1 October 2024 |
| Series | Technical Notes (X) Series, X-2024-05 |
| Number of pages | 16 |
| Publisher | ILLC prepublication |
| Organisations |
|
| Abstract | This note presents, motivates and details, a logic —model and proof theory— for a first order language with contextually restricted quantification. |
| Document type | Report |
| Language | English |
| Published at |
https://eprints.illc.uva.nl/id/eprint/2339/
(Final published version)
|
| Downloads |
24Dekker-CRQ
(Final published version)
|
| Permalink to this page | |
