Pages that link to "Item:Q1178699"

From MaRDI portal

← Resolution for some first-order modal systems (Q1178699)

Jump to:navigation, search

The following pages link to Resolution for some first-order modal systems (Q1178699):

Displaying 1 item.

The resolution method for one reducible class of formulas of the first-order modal logic S4. (Q2487862) (← links)

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