746 search results - page 81 / 150 » Connectionist Propositional Logic |
74
Voted
EUSFLAT
2001
14 years 11 months ago
2001
In this paper we shall describe a very natural extension of MV-algebras, the divisible MV-algebras (DMV). Such algebraic structures will be used to give a formal description of ru...
60
Voted
FUIN
2007
14 years 10 months ago
2007
Two set systems E, F on an underlying set V will be said to have Property S if there exists a subset σ of V , such that σ ∩ e = ∅, for all e ∈ E and f ⊆ σ, for all f âˆ...
77
Voted
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
112
click to vote
ERSHOV
2006
Springer
15 years 5 days ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
104
Voted
SYNTHESE
2008
14 years 10 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...