Pages that link to "Item:Q3508162"
From MaRDI portal
The following pages link to Independent Bases of Admissible Rules (Q3508162):
Displaying 28 items.
- On rules (Q266650) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- Bases of admissible rules for \(K\)-saturated logics (Q431663) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Independent bases for admissible rules of pretabular modal logic and its extensions (Q890977) (← links)
- Bases of admissible rules of the logics S4 and Int (Q1079559) (← links)
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- On the proof complexity of logics of bounded branching (Q2084964) (← links)
- Multi-agent logics with multi-valuations and intensional logical operations (Q2207025) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805) (← links)
- Canonical rules (Q3655251) (← links)
- Independent bases for rules admissible in pretabular logics (Q4237681) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← 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)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- Admissible inference rules of modal WCP-logics (Q6193927) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)
- Basis of globally admissible rules for logic S4 (Q6663881) (← links)
