Contexts in dynamic predicate logic
type: Item
instance of: scholarly article
title: Contexts in dynamic predicate logic
zbMATH Open document ID: 0892.03007
DOI: 10.1023/A:1008206916207
author: Albert Visser
published in: Journal of Logic, Language and Information
publication date: 1998-04-13T00:00:00Z
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 1139825
zbMATH Keywords: dynamic predicate logic
zbMATH Keywords: definability
zbMATH Keywords: context
zbMATH Keywords: resettings
MaRDI profile type: Publication
Recommended article: Dynamic predicate logic
Recommended article: Dynamic Context Logic
Recommended article: Q3372484
Recommended article: Dynamic Contextual Intensional Logic: Logical Foundations and an Application
Recommended article: Contextual hypotheses and semantics of logic programs
Recommended article: Q5202983
Recommended article: Description logics of context
Recommended article: Q5324178
Recommended article: A natural deduction approach to dynamic logic
Recommended article: An Introduction to Context Logic
description: scientific article; zbMATH DE number 1139825