3319 search results - page 73 / 664 » Subshifts, Languages and Logic |
135
click to vote
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
138
click to vote
ATAL
2011
Springer
14 years 16 days ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
137
Voted
LICS
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
77
Voted
JOLLI
2008
15 years 15 days ago
2008
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
105
click to vote
DATESO
2008
15 years 2 months ago
2008
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...