Merging without mystery or: Variables in dynamics semantics
type: Item
instance of: scholarly article
title: Merging without mystery or: Variables in dynamics semantics
zbMATH Open document ID: 0825.03016
DOI: 10.1007/BF01048354
published in: Journal of Philosophical Logic
publication date: 1995-11-28T00:00:00Z
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 795337
author: C. F. M. Vermeulen
MaRDI profile type: Publication
cites work: Q3469091
cites work: GENERAL DYNAMICS
cites work: Language in action
cites work: Logics in AI. European workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings
cites work: Natural deduction and arbitrary objects
cites work: Dynamic predicate logic
cites work: Q4287487
cites work: Q4343990
cites work: A calculus for first order discourse representation structures
cites work: Universal grammar
cites work: Q4287490
cites work: Sequence semantics for dynamic predicate logic
cites work: Incremental semantics for propositional texts
description: scientific article; zbMATH DE number 795337