Technical Modal Logic
Bibliographic Data
| ID | 4079333 |
|---|---|
| Authors | Marcus Kracht (0000-0002-8501-043X, Bielefeld University, corresponding author) |
| Year | 2011 |
| Volume | 6 |
| Issue | 5 |
| Pages | 350-359 |
| Publication date | 2011-05-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Philosophy Compass (JOURNAL) |
| Journal identifiers | ISSN: 1747-9991 • E-ISSN: 1747-9991 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/j.1747-9991.2011.00396.x |
| OpenAlex | W1520547027 |
| Language | EN |
| Citations received | 1 |
| References cited | 17 |
Modal logic is concerned with the analysis of sentential operators in the widest sense. Originally invented to analyse the notion of necessity applications have been found in many areas of philosophy, logic, linguistics and computer science. This in turn has led to an increased interest in the technical development of modal logic
Accessibility relation · Description logic · Epistemic modal logic · Linguistics · Modal · Modal logic · Modal μ-calculus · Multimodal logic · Normal modal logic · Programming language · S5 · Advanced Algebra and Logic · Computer Science · Engineering · Logic, Reasoning, and Knowledge · Philosophy · Semantic Web and Ontologies
| Citations per year | 0.08 |
|---|---|
| Citation span | 2013 - 2013 (1) |
| Highly cited | No |