Krister Segerberg
4 artykuły w 2 czasopismach
-
A general framework for the logic of theory change Opublikowano w: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 1 / s. 2 - 81996CZYSTY TEKST
Krister Segerberg, A general framework for the logic of theory change, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 1, s. 2 - 8
BIBTEX@Article{ authors = " Krister Segerberg", title = "A general framework for the logic of theory change", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 1", pages = "2 - 8" }
-
CZYSTY TEKST
Krister Segerberg, A festival of facts, Logic and Logical Philosophy, 1994 / Tom 2, s. 7 - 22
BIBTEX@Article{ authors = " Krister Segerberg", title = "A festival of facts", journal = "Logic and Logical Philosophy", issue = "1994 / Tom 2", pages = "7 - 22" }
-
A completeness proof in full DDL Opublikowano w: Logic and Logical Philosophy 2001 / Tom 9 / s. 77 - 902001CZYSTY TEKST
Krister Segerberg, A completeness proof in full DDL, Logic and Logical Philosophy, 2001 / Tom 9, s. 77 - 90
BIBTEX@Article{ authors = " Krister Segerberg", title = "A completeness proof in full DDL", journal = "Logic and Logical Philosophy", issue = "2001 / Tom 9", pages = "77 - 90" }
-
How many logically constant actions are there? Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 4 / s. 134 - 1391992CZYSTY TEKST
Krister Segerberg, How many logically constant actions are there?, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 134 - 139
BIBTEX@Article{ authors = " Krister Segerberg", title = "How many logically constant actions are there?", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "134 - 139" }