Completeness and Decidability Results for Hybrid(ised) Logics

DOI10.1007/978-3-319-15075-8_10zbMath1335.68145OpenAlexW54964128MaRDI QIDQ2797868

Manuel A. Martins, Renato Neves, Luís Soares Barbosa

Publication date: 1 April 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/6821

zbMATH Keywords

completenessinstitutionsdecidabilityhybrid logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Combined logics (03B62)

This page was built for publication: Completeness and Decidability Results for Hybrid(ised) Logics