scientific article; zbMATH DE number 1140670
From MaRDI portal
Publication:4385435
Recommendations
Cited in
(23)- Combinations of modal logics
- Fibred semantics for feature-based grammar logic
- On combined connectives
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
- On the characterization of fibred logics, with applications to conservativity and finite-valuedness
- A history of until
- Towards a general theory of the combination of logics
- Categorical abstract algebraic logic: meet-combination of logical systems
- scientific article; zbMATH DE number 1189097 (Why is no real title available?)
- scientific article; zbMATH DE number 1219632 (Why is no real title available?)
- scientific article; zbMATH DE number 1341541 (Why is no real title available?)
- scientific article; zbMATH DE number 500952 (Why is no real title available?)
- scientific article; zbMATH DE number 1931660 (Why is no real title available?)
- scientific article; zbMATH DE number 868086 (Why is no real title available?)
- scientific article; zbMATH DE number 935032 (Why is no real title available?)
- On meet-combination of logics
- Deciding theoremhood in fibered logics without shared connectives
- Fibring logics
- Is there a neutral metalanguage?
- Cardinality reduction theorem for logics QHC and QH4
- Another combination of classical and intuitionistic conditionals
- The category of propositional deductive systems
- An NP-complete fragment of fibring logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4385435)
