Sciweavers

34 search results - page 3 / 7
» slogica 2008
Sort
View
SLOGICA
2008
73views more  SLOGICA 2008»
13 years 4 months ago
Axiomatizing Relativistic Dynamics without Conservation Postulates
Hajnal Andréka, Judit X. Madarász, I...
SLOGICA
2002
67views more  SLOGICA 2002»
13 years 4 months ago
A Map of Common Knowledge Logics
Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki...
SLOGICA
2008
110views more  SLOGICA 2008»
13 years 4 months ago
Sharvy's Lucy and Benjamin Puzzle
Sharvy's puzzle concerns a situation in which common knowledge of two parties is obtained by repeated observation each of the other, no fixed point being reached in finite ti...
Thomas Forster
SLOGICA
2008
54views more  SLOGICA 2008»
13 years 4 months ago
Probabilistic Justification and the Regress Problem
We discuss two objections that foundationalists have raised against infinite chains of probabilistic justification. We demonstrate that neither of the objections can be maintained....
Jeanne Peijnenburg, David Atkinson
SLOGICA
2008
99views more  SLOGICA 2008»
13 years 3 months ago
Decidable Cases of First-order Temporal Logic with Functions
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...
Walter Hussak