Sciweavers

38 search results - page 1 / 8
» Truth, modality and intersubjectivity
Sort
View
MSCS
2007
49views more  MSCS 2007»
14 years 9 months ago
Truth, modality and intersubjectivity
Jean-Yves Girard
46
Voted
AAAI
1994
14 years 10 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
95
Voted
IGPL
2010
156views more  IGPL 2010»
14 years 8 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...
86
Voted
AIML
2008
14 years 11 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
75
Voted
AML
2005
81views more  AML 2005»
14 years 9 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