Abstract
A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student.
Keywords
Deontic logicModal logicModality (human–computer interaction)Completeness (order theory)ModalPhilosophy of logicCalculus (dental)Principal (computer security)Computer scienceFocus (optics)Dynamic logic (digital electronics)EpistemologyProgramming languageArtificial intelligenceMathematicsPhilosophyEngineeringMedicine
Related Publications
LXMERT: Learning Cross-Modality Encoder Representations from Transformers
Hao Tan, Mohit Bansal. Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Proc...
ROC Analysis of Mammography and Palpation for Breast Screening
Receiver operating characteristic curves (ROCs) for mammography and clinical palpation individually and in combination are generated using screening data from Breast Cancer Dete...
Willed action and the prefrontal cortex in man: a study with PET
We used positron emission tomography to contrast changes in cerebral blood flow associated with willed and routine acts. In the six tasks used, volunteers had to make a series o...
Publication Info
- Year
- 1980
- Type
- book
- Citations
- 1378
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
1378
OpenAlex
Cite This
Brian F. Chellas
(1980).
Modal Logic.
Cambridge University Press eBooks
.
https://doi.org/10.1017/cbo9780511621192
Identifiers
- DOI
- 10.1017/cbo9780511621192