Add to ORKGSIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
Many attempts have been started to combine logic programming and modal logics. Most of them however,...
Abstract. First-order modal logics (FMLs) can be modeled as natural fragments of classical higher-or...
SIGLEAvailable from TIB Hannover: RR1912(92-209) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...
SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--339) / BLDSC - Brit...
Many attempts have been started to combine logic programming and modal logics. Most of them however,...
Abstract. While there is a broad literature on the theory of first-order modal logics, little is kno...
Higher-order automated theorem provers have been employed to automate first-order modal logics. Exte...
This archive contains the lambda-prolog implementation of a general proof certification framework fo...
Schriftenreihe: Cambridge tracts in theoretical computer science ; 53 Druckausg. erschienen in:...
Schriftenreihe: Cambridge tracts in theoretical computer science ; 53 Druckausg. erschienen in:...
Schriftenreihe: Cambridge tracts in theoretical computer science ; 53 Druckausg. erschienen in:...
. We define a class of modal logics LF by uniformly extending a class of modal logics L. Each logic ...
<p>This archive contains the lambda-prolog implementation of a general proof certification framework...
International audienceWe define a class of modal logics LF by uniformly extending a class of modal l...
AbstractIn this paper a new proof procedure for some propositional and first-order normal modal logi...
Many attempts have been started to combine logic programming and modal logics. Most of them however,...
Abstract. First-order modal logics (FMLs) can be modeled as natural fragments of classical higher-or...
SIGLEAvailable from TIB Hannover: RR1912(92-209) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...
SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--339) / BLDSC - Brit...
Many attempts have been started to combine logic programming and modal logics. Most of them however,...
Abstract. While there is a broad literature on the theory of first-order modal logics, little is kno...
Higher-order automated theorem provers have been employed to automate first-order modal logics. Exte...
This archive contains the lambda-prolog implementation of a general proof certification framework fo...
Schriftenreihe: Cambridge tracts in theoretical computer science ; 53 Druckausg. erschienen in:...
Schriftenreihe: Cambridge tracts in theoretical computer science ; 53 Druckausg. erschienen in:...
Schriftenreihe: Cambridge tracts in theoretical computer science ; 53 Druckausg. erschienen in:...
. We define a class of modal logics LF by uniformly extending a class of modal logics L. Each logic ...
<p>This archive contains the lambda-prolog implementation of a general proof certification framework...
International audienceWe define a class of modal logics LF by uniformly extending a class of modal l...
AbstractIn this paper a new proof procedure for some propositional and first-order normal modal logi...
Many attempts have been started to combine logic programming and modal logics. Most of them however,...
Abstract. First-order modal logics (FMLs) can be modeled as natural fragments of classical higher-or...
SIGLEAvailable from TIB Hannover: RR1912(92-209) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...