797 search results - page 45 / 160 » Logics with an existential modality |
98
Voted
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
The common metric temporal logics for continuous time were shown to be insufficient, when it was proved in [7, 12] that they cannot express a modality suggested by Pnueli. Moreover...
STACS
1999
Springer
15 years 4 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...
98
Voted
IANDC
2006
15 years 18 days ago
2006
Fixpoint Logic with Chop extends the modal
CSR
2010
Springer
15 years 5 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...
113
Voted
PODS
2004
ACM
16 years 22 days ago
2004
ACM
Unions of conjunctive queries, also known as select-project-join-union queries, are the most frequently asked queries in relational database systems. These queries are definable b...