The following pages link to Admissible Rules of Modal Logics (Q5696300):
Displaying 50 items.
- On rules (Q266650) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← 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)
- Bases of admissible rules for \(K\)-saturated logics (Q431663) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models (Q633158) (← 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)
- Admissible inference rules and semantic property of modal logics (Q823963) (← links)
- Complexity of admissible rules (Q868660) (← links)
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms (Q929294) (← links)
- Linear temporal logic with until and next, logical consecutions (Q947268) (← links)
- Substitution Frege and extended Frege proof systems in non-classical logics (Q1023047) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- Admissible rules for logics containing S4.3 (Q1068809) (← links)
- Modal logics with the MacIntosh rule (Q1316410) (← links)
- Some admissible rules in nonnormal modal systems (Q1317984) (← links)
- Bases of admissible rules in modal logics S4.2 and S4.2Grz (Q1320690) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Sugihara algebras: admissibility algebras via the test spaces method (Q2301885) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← 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)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Construction of an explicit basis for rules admissible in modal system S4 (Q2765566) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- 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)
- (Q3647278) (← links)
- Canonical rules (Q3655251) (← links)
- Checking Admissibility Using Natural Dualities (Q4617979) (← links)
- ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY (Q4712747) (← links)
