Predicate logic with flexibly binding operators and natural language semantics
type: Item
instance of: scholarly article
title: Predicate logic with flexibly binding operators and natural language semantics
zbMATH Open document ID: 0794.03043
DOI: 10.1007/BF01050634
author: Peter Pagin
author: Dag Westerståhl
published in: Journal of Logic, Language and Information
publication date: 1994-02-22T00:00:00Z
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 501098
zbMATH Keywords: anaphora
zbMATH Keywords: compositionality
zbMATH Keywords: dynamic semantics
zbMATH Keywords: variable-binding
zbMATH Keywords: dynamic predicate logic
zbMATH Keywords: natural deduction
MaRDI profile type: Publication
cites work: The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
cites work: Dynamic predicate logic
cites work: Q3862379
cites work: Q4081200
cites work: Q3321495
cites work: A system of implicit quantification
full work available at URL: https://doi.org/10.1007/bf01050634
OpenAlex ID: W1987871907
description: scientific article; zbMATH DE number 501098