Explicit definitions of implicitly definable objects in some modal logics (Q1972816)
From MaRDI portal
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use this page instead for the normal view: Explicit definitions of implicitly definable objects in some modal logics
scientific article; zbMATH DE number 1431907
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Explicit definitions of implicitly definable objects in some modal logics |
scientific article; zbMATH DE number 1431907 |
Statements
Explicit definitions of implicitly definable objects in some modal logics (English)
0 references
13 April 2000
0 references
modal logic
0 references
Kripke frame
0 references
transitive frame
0 references
antisymmetric frame
0 references
propositional logic
0 references
implicit definability
0 references
explicit definability
0 references
0.8026217818260193
0 references
