Sciweavers

Share
44 search results - page 1 / 9
» A New Representation Theorem for Many-valued Modal Logics
Sort
View
CORR
2011
Springer
151views Education» more  CORR 2011»
8 years 10 months ago
A New Representation Theorem for Many-valued Modal Logics
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
Zoran Majkic
AMAI
2007
Springer
9 years 7 months ago
A new modal logic for reasoning about space: spatial propositional neighborhood logic
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
Antonio Morales, Isabel Navarrete, Guido Sciavicco
LOGCOM
2016
4 years 2 months ago
Realization using the model existence theorem
Justification logics refine modal logics by replacing the usual necessity operator with a family of justification terms that embody reasons for the necessity of a formula, rath...
Melvin Fitting
TOCL
2008
128views more  TOCL 2008»
9 years 6 months ago
A comprehensive combination framework
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchell...
AMSTERDAM
2009
9 years 4 months ago
Some New Observations on 'Because (of)'
Because (of) is ambiguous between a `reason' and a `plain cause' interpretation. Presenting a semantic analysis within the framework of Discourse Representation Theory, I...
Torgrim Solstad
books