Bringing them all Together

DOI10.1093/logcom/11.5.657zbMath0993.03011OpenAlexW1988119046MaRDI QIDQ2772879

Patrick Blackburn, Carlos Areces

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

completenessnominalsbindersexpressivity over frameshybrid modal logicssatisfaction opeators

Mathematics Subject Classification ID

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

Related Items (8)

Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Operators vs. arguments: The ins and outs of reification ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Birkhoff style calculi for hybrid logics ⋮ Global view on reactivity: switch graphs and their logics ⋮ Encoding hybridized institutions into first-order logic ⋮ Abductive Reasoning for Continual Dialogue Understanding ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

This page was built for publication: Bringing them all Together