The following pages link to Derivability of admissible rules (Q1245932):
Displaying 13 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Admissible inference rules and semantic property of modal logics (Q823963) (← 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)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Logical consecutions in discrete linear temporal logic (Q5486245) (← links)
- Admissible inference rules of modal WCP-logics (Q6193927) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)
