Pages that link to "Item:Q3185759"
From MaRDI portal
The following pages link to A Tableau Method for Checking Rule Admissibility in S4 (Q3185759):
Displaying 9 items.
- Best unifiers in transitive modal logics (Q647403) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
- Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)
- $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine (Q3010372) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- Unification in epistemic logics (Q4586223) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
