The following pages link to Bringing them all together (Q2772879):
Displaying 11 items.
- Operators vs. arguments: The ins and outs of reification (Q857666) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Editors' introduction to the special issue on combining logics (Q1815423) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Representation, reasoning, and relational structures: a hybrid logic manifesto (Q4487266) (← links)
- Abductive Reasoning for Continual Dialogue Understanding (Q5200463) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)
