Pages that link to "Item:Q3128464"
From MaRDI portal
The following pages link to Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464):
Displaying 21 items.
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- Importing logics: soundness and completeness preservation (Q361861) (← links)
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Editors' introduction to the special issue on combining logics (Q1815423) (← links)
- Combining temporal logic systems (Q1815427) (← links)
- On combined connectives (Q1941724) (← links)
- IPL: an integration property language for multi-model cyber-physical systems (Q2024345) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- Distributed knowability and Fitch's paradox (Q2464652) (← links)
- 2005–06 Winter Meeting of the Association for Symbolic Logic (Q3412464) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- Combining Valuations with Society Semantics (Q3647202) (← links)
- (Q4217280) (← links)
- (Q4873969) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
- Combination of constraint systems II: Rational amalgamation (Q5958755) (← links)
