Interpreting first-order theories into a logic of records

M.L.J. van de Vel

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

MR1953616

Access to Document

@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",

}