Rigid first-order hybrid logic
From MaRDI portal
Publication:2303580
DOI10.1007/978-3-662-59533-6_4OpenAlexW2953368077MaRDI QIDQ2303580
Patrick Blackburn, Antonia Huertas, Manuel A. Martins, María Manzano
Publication date: 4 March 2020
Full work available at URL: http://hdl.handle.net/10773/26443
rigidityhybrid logicfirst-order modal logicfunction symbolsvarying domainsactualist semanticshenkin modelsrigid predicate symbols
Related Items
Exorcising the phantom zone, Omitting types theorem in hybrid dynamic first-order logic with rigid symbols