In this paper we present a resolution method for first-order modal logic, which derives from an extension of already known propositional methods. The main feature of our approach to the problem of quantification in modal logic is a purely syntactical solution, embedded in a propositional method, which is a very close relative of classical resolution. Such results represent a contribution to the extension of logic programming to intensional languages
Cialdea, M. (1991). Resolution for some first order modal systems. THEORETICAL COMPUTER SCIENCE, 85(2), 213-229 [10.1016/0304-3975(91)90181-Z].
Resolution for some first order modal systems.
CIALDEA, Marta
1991-01-01
Abstract
In this paper we present a resolution method for first-order modal logic, which derives from an extension of already known propositional methods. The main feature of our approach to the problem of quantification in modal logic is a purely syntactical solution, embedded in a propositional method, which is a very close relative of classical resolution. Such results represent a contribution to the extension of logic programming to intensional languagesFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
