1950 search results - page 3 / 390 » Lambda-Free Logical Frameworks |
ATAL
2007
Springer
13 years 12 months ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
SLOGICA
2011
13 years 21 days ago
2011
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
CSR
2010
Springer
13 years 10 months ago
2010
Springer
We show that a logical framework, based around a fragment of existential second-order logic formerly proposed by others so as to capture the class of polynomially-bounded P-optimi...
ICTAI
2005
IEEE
13 years 11 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
CHES
2009
Springer
14 years 17 days ago
2009
Springer
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...