3773 search results - page 53 / 755 » Logical Reasoning |
FUZZY
2004
Springer
15 years 3 months ago
2004
Springer
RSCTC
2004
Springer
15 years 3 months ago
2004
Springer
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
FLAIRS
2006
14 years 11 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
JFP
2008
14 years 9 months ago
2008
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the...