1486 search results - page 48 / 298 » A Logically Saturated Extension of |
256
click to vote
DEON
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this paper, we present an adaptive logic for deontic conflicts, called P2.1r , that is based on Goble’s logic SDLaPe—a bimodal extension of Goble’s logic P that...
122
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
In this work we present several possible extensions of fuzzy Datalog. At first the concept of fuzzy Datalog will be summarized, then its extension for intuitionistic- and interval...
160
click to vote
STACS
2010
Springer
16 years 24 days ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
136
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...