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

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