Pages that link to "Item:Q4262590"
From MaRDI portal
The following pages link to Unification in intuitionistic logic (Q4262590):
Displaying 33 items.
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
- 2006–07 Winter Meeting of the Association for Symbolic Logic (Q3533519) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- Canonical rules (Q3655251) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- Checking Admissibility Using Natural Dualities (Q4617979) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)
- Unifying Theories of Logic and Specification (Q5166658) (← links)
- Unification in first-order transitive modal logic (Q5241924) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- Logical consecutions in discrete linear temporal logic (Q5486245) (← links)
- Formal Methods in Software and Systems Modeling (Q5710409) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Rules and arithmetics (Q5937848) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- Dynamic temporal logical operations in multi-agent logics (Q6072992) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- Algebraic and logical aspects of unification (Q6169562) (← links)
- Unification in Łukasiewicz Logic with a Finite Number of Variables (Q6485187) (← links)
- Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \) (Q6587464) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Deciding dependence in logic and algebra (Q6612812) (← links)
- About the unification types of modal logics (Q6612813) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)
- Universal proof theory: feasible admissibility in intuitionistic modal logics (Q6652040) (← links)
