BazHum - wyniki wyszukiwania

Wyniki

Checked:

A general framework for the logic of theory change

Krister Segerberg
Bulletin of the Section of Logic , 25 /1 (1996) s. 2-8
How many logically constant actions are there?

Krister Segerberg
Bulletin of the Section of Logic , 21 /4 (1992) s. 134-139
A festival of facts

Krister Segerberg
Logic and Logical Philosophy 2 (1994) s. 7-22
A completeness proof in full DDL

Krister Segerberg
Logic and Logical Philosophy 9 (2001) s. 77-90