No label defined (Q3594284)
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 5177771
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 5177771 |
Statements
7 August 2007
0 references
temporal logic of knowledge and belief
0 references
branching time
0 references
sequent calculus
0 references
restricted cut rule
0 references
bundle semantics
0 references
0.96644014
0 references
0.9543003
0 references
0.92730147
0 references
0.9100044
0 references
0.9062419
0 references
0.9025908
0 references
0.9019757
0 references
0.90102786
0 references
0.90086097
0 references
0.89953965
0 references
