The following pages link to What is a logic translation? (Q1931306):
Displaying 12 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization (Q361868) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- Composition-nominative logics as institutions (Q1653557) (← links)
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics (Q1748473) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- Refinement by Interpretation in a General Setting (Q2994492) (← links)
- Change Management for Heterogeneous Development Graphs (Q3058452) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
