The following pages link to Proof theory for admissible rules (Q1023055):
Displaying 42 items.
- On rules (Q266650) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Consequence relations and admissible rules (Q300835) (← 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)
- 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)
- Complexity of admissible rules (Q868660) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Some admissible rules in nonnormal modal systems (Q1317984) (← links)
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- Admissibility, compatibility, and deducibility in first-order sequent logics (Q1650338) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555) (← links)
- Multi-agent logics with multi-valuations and intensional logical operations (Q2207025) (← links)
- On the logical philosophy of assertive graphs (Q2228440) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← 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)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805) (← links)
- (Q4325775) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- Computer Science Logic (Q5292641) (← 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)
- Rules and arithmetics (Q5937848) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
