The following pages link to (Q4487248):
Displaying 17 items.
- An explicit basis for admissible inference rules in table modal logics of width 2 (Q431673) (← links)
- Table admissible inference rules (Q431693) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← 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)
- Bases of admissible rules of the logics S4 and Int (Q1079559) (← links)
- On the independence of premiss axiom and rule (Q2204366) (← links)
- Describing a basis in semireduced form for inference rules of intuitionistic logic (Q2746913) (← links)
- (Q4966006) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Computer Science Logic (Q5292641) (← links)
- Logical consecutions in discrete linear temporal logic (Q5486245) (← links)
- A(nother) characterization of intuitionistic propositional logic (Q5957911) (← links)
- Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)
- Admissible inference rules of modal WCP-logics (Q6193927) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)
