9 - Metavaluations
from Part II - Modality
Published online by Cambridge University Press: 16 July 2026
Summary
Metavaluations, introduced to relevant logics by Meyer (1976b), combine aspects of valuational semantics with provability in a logic, as we will see. One can, sometimes, define a standard, or canonical, metavaluation, and then one shows Metasoundness, that every theorem of the logic gets value 1 relative to the standard metavaluation, and Metacompleteness, that every formula that gets value 1 in the standard metavaluation is a theorem of the logic. Metacompleteness has important consequences, as we will see in Section 9.3.
Information
- Type
- Chapter
- Information
- Relevant LogicsImplication, Modality, Quantification, pp. 175 - 193Publisher: Cambridge University PressPrint publication year: 2026
Accessibility standard: WCAG 2.2 AAA
Why this information is here
This section outlines the accessibility features of this content - including support for screen readers, full keyboard navigation and high-contrast display options. This may not be relevant for you.Accessibility Information
The PDF of this chapter
complies with version 2.2 of the
Web Content Accessibility Guidelines
(WCAG), offering more comprehensive accessibility measures for a broad range
of users and attains the highest
(AAA)
level of WCAG compliance, optimising the user experience by meeting the most extensive
accessibility guidelines.
Content Navigation
Table of contents navigation
Allows you to navigate directly to chapters, sections, or non‐text items through a linked table of contents, reducing the need for extensive scrolling.
Allows you to navigate directly to chapters, sections, or non‐text items through a linked table of contents, reducing the need for extensive scrolling.
Index navigation
Provides an interactive index, letting you go straight to where a term or subject appears in the text without manual searching.
Provides an interactive index, letting you go straight to where a term or subject appears in the text without manual searching.
Reading Order & Textual Equivalents
Short alternative textual descriptions
You get concise descriptions (for images, charts, or media clips), ensuring you do not miss crucial information when visual or audio elements are not accessible.
You get concise descriptions (for images, charts, or media clips), ensuring you do not miss crucial information when visual or audio elements are not accessible.
Full alternative textual descriptions
You get more than just short alt text: you have comprehensive text equivalents, transcripts, captions, or audio descriptions for substantial non‐text content, which is especially helpful for complex visuals or multimedia.
You get more than just short alt text: you have comprehensive text equivalents, transcripts, captions, or audio descriptions for substantial non‐text content, which is especially helpful for complex visuals or multimedia.
Visualised data also available as non-graphical data
You can access graphs or charts in a text or tabular format, so you are not excluded if you cannot process visual displays.
You can access graphs or charts in a text or tabular format, so you are not excluded if you cannot process visual displays.
Visual Accessibility
Use of high contrast between text and background colour
You benefit from high‐contrast text, which improves legibility if you have low vision or if you are reading in less‐than‐ideal lighting conditions.
You benefit from high‐contrast text, which improves legibility if you have low vision or if you are reading in less‐than‐ideal lighting conditions.
Structural and Technical Features
ARIA roles provided
You gain clarity from ARIA (Accessible Rich Internet Applications) roles and attributes, as they help assistive technologies interpret how each part of the content functions.
You gain clarity from ARIA (Accessible Rich Internet Applications) roles and attributes, as they help assistive technologies interpret how each part of the content functions.