2573 search results - page 48 / 515 » Combinations of Modal Logics |
160
Voted
ROOM
2000
15 years 5 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
113
Voted
STACS
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...
121
Voted
IANDC
2006
15 years 3 months ago
2006
Fixpoint Logic with Chop extends the modal
122
click to vote
CSR
2010
Springer
15 years 8 months ago
2010
Springer
By terms-allowed-in-types capacity, the Logic of Proofs LP includes formulas of the form t : ϕ(t), which have self-referential meanings. In this paper, “prehistoric phenomena...
119
Voted
AAAI
2008
15 years 6 months ago
2008
In this paper we investigate nonmonotonic `modes of inference'. Our approach uses modal (conditional) logic to establish a uniform framework in which to study nonmonotonic co...