797 search results - page 45 / 160 » Logics with an existential modality |
FORMATS
2008
Springer
14 years 16 days 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
14 years 3 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...
IANDC
2006
13 years 11 months ago
2006
Fixpoint Logic with Chop extends the modal
CSR
2010
Springer
14 years 3 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...
PODS
2004
ACM
14 years 11 months 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...