825 search results - page 4 / 165 » Modal Logics with Counting |
89
Voted
AIIA
1999
Springer
15 years 1 months ago
1999
Springer
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular...
85
Voted
AIML
2006
14 years 11 months ago
2006
Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfort...
71
Voted
JAPLL
2008
14 years 9 months ago
2008
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
73
Voted
JELIA
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
86
Voted
AIML
2008
14 years 11 months ago
2008
There are two reasons why medieval logic is of interest to modern logician: One is to see how similar it is to modern logic and the other is to see how different it is. We study th...