Interpreting first-order theories into a logic of records

M.L.J. van de Vel

doi:10.1023/A:1021849625062

Interpreting first-order theories into a logic of records

M.L.J. van de Vel

Mathematics

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	411-432
Journal	Studia Logica
Volume	72
Issue number	3
DOIs	https://doi.org/10.1023/A:1021849625062
Publication status	Published - 2002

Bibliographical note

MR1953616

Access to Document

10.1023/A:1021849625062

Persistent URL (handle)

Persistent link

Cite this

@article{73fe8029d15245909be035ee63db31a4,

title = "Interpreting first-order theories into a logic of records",

author = "\{van de Vel\}, M.L.J.",

note = "MR1953616 ",

year = "2002",

doi = "10.1023/A:1021849625062",

language = "English",

volume = "72",

pages = "411--432",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - Interpreting first-order theories into a logic of records

AU - van de Vel, M.L.J.

N1 - MR1953616

PY - 2002

Y1 - 2002

UR - https://www.scopus.com/pages/publications/34249886655

UR - https://www.scopus.com/inward/citedby.url?scp=34249886655&partnerID=8YFLogxK

U2 - 10.1023/A:1021849625062

DO - 10.1023/A:1021849625062

M3 - Article

SN - 0039-3215

VL - 72

SP - 411

EP - 432

JO - Studia Logica

JF - Studia Logica

IS - 3

ER -

Interpreting first-order theories into a logic of records

Bibliographical note

Access to Document

Persistent URL (handle)

Other files and links

Cite this