A Note on Boolean Modal Logic
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Modal definability in enriched languages.Notre Dame Journal of Formal Logic, 1989
- The modal logic of `all and only'.Notre Dame Journal of Formal Logic, 1987
- Modal Environment for Boolean SpeculationsPublished by Springer Nature ,1987
- PDL with data constantsInformation Processing Letters, 1985
- DAL—A logic for data analysisTheoretical Computer Science, 1985