Beth definability, interpolation and language splitting
type: Item
instance of: scholarly article
title: Beth definability, interpolation and language splitting
zbMATH Open document ID: 1231.03033
author: Rohit Parikh
published in: Synthese
publication date: 2011-06-08T00:00:00Z
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03B42
zbMATH DE Number: 5905347
zbMATH Keywords: Beth definability
zbMATH Keywords: interpolation
zbMATH Keywords: belief revision
zbMATH Keywords: language splitting
zbMATH Keywords: information transfer
MaRDI profile type: Publication
full work available at URL: s11229-010-9778-3
OpenAlex ID: W2019851429
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: Q5824680
cites work: Relevance sensitive belief structures
cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
cites work: The road to two theorems of logic
cites work: Two modellings for theory change
cites work: In memoriam Evert Willem Beth (1909--1964)
cites work: Q4003410
cites work: Parallel interpolation, splitting, and relevance in belief change
cites work: Q4225114
cites work: Sets, logic and maths for computing
cites work: Q4518818
cites work: Q3240238
cites work: On the degeneracy of the full AGM-theory of theory-revision
cites work: The many faces of interpolation
DOI: 10.1007/S11229-010-9778-3
description: scientific article; zbMATH DE number 5905347