2225 search results - page 56 / 445 » Logical Structures in the Lexicon |
ICCD
2000
IEEE
16 years 8 days ago
2000
IEEE
This paper presents a new method to extract functionally equivalent structures from logic netlists. It uses a fast functional regularity extraction algorithm based on structural e...
134
click to vote
DEON
2010
Springer
15 years 5 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
118
click to vote
APAL
2006
15 years 3 months ago
2006
We show that--unlike products of `transitive' modal logics which are usually undecidable-their `expanding domain' relativisations can be decidable, though not in primiti...
110
click to vote
MFCS
2000
Springer
15 years 7 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as
111
Voted
ENTCS
2008
15 years 3 months ago
2008
This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.