\(\Box\) and \(\Diamond\) in eight-valued non-deterministic semantics for modal logics (Q6915775)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 8106326
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | \(\Box\) and \(\Diamond\) in eight-valued non-deterministic semantics for modal logics |
scientific article; zbMATH DE number 8106326 |
Statements
\(\Box\) and \(\Diamond\) in eight-valued non-deterministic semantics for modal logics (English)
0 references
15 October 2025
0 references
This paper is a follow-up to the authors' earlier [J. Philos. Log. 53, No. 2, 351--371 (2024; Zbl 1568.03086)]. Given a minimal modal logic that is determined by a certain eight-element non-deterministic semantics, the earlier paper considered the extensions of that logic obtainable by allowing reductions in the indeterminacy of values of the necessity operation; in the paper under review, reductions in indeterminacy of both necessity and possibility operations are permitted, while the set of values of the semantics is held fixed. Hilbert-style axiom systems are provided for such semantic refinements, with proofs of soundness and completeness.
0 references
modal logics
0 references
many-valued logics
0 references
non-deterministic semantics
0 references
0 references
