Sachakte
Modal language of provability logic
Enthält: drei maschinenschriftliche Seiten aus einem größeren Zusammenhang zum Programmieren. Die hier als Titel angegebene Überschrift findet sich in der Mitte.
- Reference number
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-3-7
- Extent
-
3 Bl.
- Context
-
Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Notizen, Teilstücke und Fragmente
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
o.D.
- Other object pages
- Last update
-
01.03.2023, 7:50 AM CET
Data provider
This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- o.D.
Other Objects (12)
Modal logic
Advanced Modal Logic
Explicit modal logic
Modal Logic on Wheels
A modal logic of epistemic games
Self-reference and modal logic
Stochastic Relations Interpreting Modal Logic
Modal logic and artificial intelligence
Some Comments on Expressiveness of Modal Logic
Coalgebras, clone theory, and modal logic
Coalgebras, clone theory, and modal logic
A Note on Expressive Completeness of Modal Logic
Modal logic
Advanced Modal Logic
Explicit modal logic
Modal Logic on Wheels
A modal logic of epistemic games
Self-reference and modal logic
Stochastic Relations Interpreting Modal Logic
Modal logic and artificial intelligence
Some Comments on Expressiveness of Modal Logic
Coalgebras, clone theory, and modal logic
Coalgebras, clone theory, and modal logic
A Note on Expressive Completeness of Modal Logic
Modal logic
Advanced Modal Logic
Explicit modal logic
Modal Logic on Wheels
A modal logic of epistemic games
Self-reference and modal logic
Stochastic Relations Interpreting Modal Logic
Modal logic and artificial intelligence
Some Comments on Expressiveness of Modal Logic
Coalgebras, clone theory, and modal logic
Coalgebras, clone theory, and modal logic