Pages that link to "Item:Q4647549"

From MaRDI portal

← Building decision procedures for modal logics from propositional decision procedures — The case study of modal K (Q4647549)

Jump to:navigation, search

The following pages link to Building decision procedures for modal logics from propositional decision procedures — The case study of modal K (Q4647549):

Displaying 3 items.

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
EXPtime tableaux for ALC (Q1589576) (← links)
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic (Q6492757) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q4647549"