Interpreting first-order theories into a logic of records

DOI10.1023/A:1021849625062zbMath1015.03024OpenAlexW1512091184MaRDI QIDQ1868253

Marcel van de Vel

Publication date: 27 April 2003

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021849625062

zbMATH Keywords

first-order logicconservative extensionindependent featuresarity constraintfaithful interpretationfeature treemodel extensionrecord logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (2)

Complexity of equational theory of relational algebras with standard projection elements ⋮ Theories with the independence property

This page was built for publication: Interpreting first-order theories into a logic of records