232 search results - page 13 / 47 » Completeness and Decidability in Sequence Logic |
IGPL
2010
13 years 4 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
ICLA
2011
Springer
12 years 11 months ago
2011
Springer
We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent becomes aware of propositional variables. We show that th...
KR
2010
Springer
13 years 9 months ago
2010
Springer
We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different e...
EACL
1993
ACL Anthology
13 years 8 months ago
1993
ACL Anthology
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-t...
INFORMATICALT
2007
13 years 7 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...