711 search results - page 102 / 143 » Modal Logics are Coalgebraic |
186
click to vote
LPNMR
1993
Springer
15 years 10 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
182
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
186
click to vote
LPAR
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
166
click to vote
STACS
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
199
click to vote
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...