Rigid first-order hybrid logic

DOI10.1007/978-3-662-59533-6_4MaRDI QIDQ2303580zbMATH OpenOpenAlexFDO

Authors Patrick Blackburn, Manuel A. Martins, Antonia Huertas, María Manzano

Publication date 4 March 2020

Full work available at URL http://hdl.handle.net/10773/26443

zbMATH Keywords

actualist semanticsfirst-order modal logicfunction symbolshenkin modelshybrid logicrigid predicate symbolsrigidityvarying domains

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Extended First-Order Logic
• scientific article; zbMATH DE number 7592011
• scientific article; zbMATH DE number 1028229
• scientific article; zbMATH DE number 3274715
• scientific article; zbMATH DE number 1440090
• Birkhoff completeness for hybrid-dynamic first-order logic
• Natural deduction for first-order hybrid logic
• Hybrid logic and its proof-theory
• First-order intensional logic

Cited in

(3)

• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Exorcising the phantom zone
• Modal logics with non-rigid propositional designators

This page was built for publication: Rigid first-order hybrid logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2303580)