Sciweavers

38 search results - page 1 / 8
» Truth, modality and intersubjectivity
Sort
View
MSCS
2007
49views more  MSCS 2007»
13 years 4 months ago
Truth, modality and intersubjectivity
Jean-Yves Girard
AAAI
1994
13 years 6 months ago
On the Nature of Modal Truth Criteria in Planning
Chapman's paper, ``Planning for Conjunctive Goals,'' has been widely acknowledged for its contribution toward understanding the nature of nonlinear (partial-order) ...
Subbarao Kambhampati, Dana S. Nau
IGPL
2010
156views more  IGPL 2010»
13 years 3 months ago
Fusion of sequent modal logic systems labelled with truth values
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
João Rasga, Karina Roggia, Cristina Sernada...
AIML
2008
13 years 6 months ago
Three 13th-century views of quantified modal logic
There are two reasons why medieval logic is of interest to modern logician: One is to see how similar it is to modern logic and the other is to see how different it is. We study th...
Sara L. Uckelman
AML
2005
81views more  AML 2005»
13 years 4 months ago
A logical and algebraic treatment of conditional probability
This paper is devoted to a logical and algebraic treatment of conditional probability. The main ideas are the use of non-standard probabilities and of some kind of standard part f...
Tommaso Flaminio, Franco Montagna