1078 search results - page 37 / 216 » The Modal Logic of Probability |
105
click to vote
BIRTHDAY
1991
Springer
15 years 5 months ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
139
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
We see cut-free sequent systems for the basic normal modal logics formed by any combination the axioms d, t, b, 4, 5. These systems are modular in the sense that each axiom has a c...
113
click to vote
APAL
2008
15 years 2 months ago
2008
Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic T-coalgebras that interpret coalgebraic logic which is defined in terms of predicate ...
129
click to vote
DLOG
1998
15 years 3 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
106
click to vote
FSS
2010
15 years 15 days ago
2010
Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and “very true” are presented here both algebraically in ...