Bringing them all together

DOI10.1093/LOGCOM/11.5.657MaRDI QIDQ2772879zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Patrick Blackburn

Publication date 25 September 2002

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/2b5ebf81efc5b6922c21bce2f86b65810666eb7a

zbMATH Keywords

binderscompletenessexpressivity over frameshybrid modal logicsnominalssatisfaction opeators

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45)

Review text

This is the introduction to a special issue of J. Log. Comput. devoted to hybrid modal logics. After a brief introduction to hybrid modal logics, the authors highlight the advantages of these logics in terms of expressivity over frames, complexity, completeness results and proof-theoretical simplicity. A brief history of the field is also given.

Recommendations

• First-order hybrid logic: introduction and survey
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Modal Hybrid Logic
• Combinations of modal logics
• Editors' introduction to the special issue on combining logics

Cited in

(12)

• Birkhoff style calculi for hybrid logics
• Editors' introduction to the special issue on combining logics
• Global view on reactivity: switch graphs and their logics
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• Introducing H, an institution-based formal specification and verification language
• On the expressiveness of TPTL and MTL
• Foundations of logic programming in hybrid logics with user-defined sharing
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Interaction and the Marcan formula
• Abductive reasoning for continual dialogue understanding
• Encoding hybridized institutions into first-order logic
• Operators vs. arguments: The ins and outs of reification

This page was built for publication: Bringing them all together

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