A two-sorted hybrid logic including guarded jumps (Q5483002)
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: A two-sorted hybrid logic including guarded jumps |
scientific article; zbMATH DE number 5046356
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A two-sorted hybrid logic including guarded jumps |
scientific article; zbMATH DE number 5046356 |
Statements
15 August 2006
0 references
hybrid logic
0 references
modal logic
0 references
two-sorted logic
0 references
reasoning about knowledge
0 references
topological system
0 references
directed spaces
0 references
0.8090332746505737
0 references
0.7985549569129944
0 references
0.758908212184906
0 references
0.7524998784065247
0 references
