1059 search results - page 7 / 212 » Standard Logics Are Valuation-Nonmonotonic |
105
click to vote
LPAR
2001
Springer
15 years 4 months ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
106
click to vote
TCS
2010
14 years 10 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
ENTCS
2002
14 years 11 months ago
2002
Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophica...
138
click to vote
LFCS
2009
Springer
15 years 6 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
HVC
2007
Springer
15 years 5 months ago
2007
Springer
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...