The following pages link to What is a logic translation? (Q1931306):
Displaying 18 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)
- New dimensions on translations between logics (Q1931302) (← 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)
- The concept of `translation': history and theory (Q2856068) (← 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)
- Translations of Logical Formulas and the Equiconsistency Problem (Q4304148) (← links)
- THE UBIQUITY OF CONSERVATIVE TRANSLATIONS (Q4899964) (← links)
- MODALITY AND EXPRESSIBILITY (Q5216974) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
