Pages that link to "Item:Q2469685"
From MaRDI portal
The following pages link to Analysis and synthesis of logics. How to cut and paste reasoning systems (Q2469685):
Displaying 27 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- The single-minded pursuit of consistency and its weakness (Q631514) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- Two semantical approaches to paraconsistent modalities (Q1931347) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Fibring argumentation frames (Q2269514) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- Interpolation via translations (Q3184216) (← links)
- JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS (Q3224048) (← links)
- Possible-translations semantics for some weak classically-based paraconsistent logics (Q3647284) (← links)
- (Q4217280) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)
- Conservative translations revisited (Q6156208) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
