The following pages link to Best solving modal equations (Q1971794):
Displaying 49 items.
- On rules (Q266650) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
- Logical equations in monadic logic (Q843613) (← links)
- Complexity of admissible rules (Q868660) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Multiagent temporal logics, unification problems, and admissibilities (Q2160194) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Unification in pretabular extensions of S4 (Q2239389) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- Admissibility in De Morgan algebras (Q2391905) (← links)
- Frege systems for extensible modal logics (Q2503409) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- Contact Logic is Finitary for Unification with Constants (Q3298276) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- Unification in the Description Logic $\mathcal{EL}$ (Q3636834) (← links)
- Canonical rules (Q3655251) (← links)
- Unification in epistemic logics (Q4586223) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- Checking Admissibility Using Natural Dualities (Q4617979) (← links)
- Ideal Related Algebras and Their Logics Extended Abstract (Q5098744) (← links)
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← 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)
- 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)
- Dynamic temporal logical operations in multi-agent logics (Q6072992) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← 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)
