Back to Search Start Over

Destructive Modal Resolution

Authors :
Melvin Fitting
Source :
Journal of Logic and Computation. 1:83-97
Publication Year :
1990
Publisher :
Oxford University Press (OUP), 1990.

Subjects

Subjects :
Modal
Arts and Humanities (miscellaneous)
Logic
Hardware and Architecture
Computer science
Normal modal logic
Resolution (electron density)
Axiom S5
Algorithm
Software
Theoretical Computer Science

Details

ISSN :
1465363X and 0955792X
Volume :
1
Database :
OpenAIRE
Journal :
Journal of Logic and Computation
Accession number :
edsair.doi...........066b2a4b518549601378044ef7e4ca20

Tools

Authors Abstract Subjects Details