2573 search results - page 1 / 515 » Combinations of Modal Logics |
AIR
2002
13 years 6 months ago
2002
There is increasing use of combinations of modal logics in both foundational and
TOCL
2008
13 years 6 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
FROCOS
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
IAT
2008
IEEE
14 years 1 months ago
2008
IEEE
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
NDJFL
1998
13 years 6 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...