5451 search results - page 346 / 1091 » Typed Operational Semantics |
163
click to vote
AIML
2008
15 years 6 months ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
106
Voted
APAL
2006
15 years 5 months ago
2006
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be dec...
139
click to vote
AML
2002
15 years 4 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...
129
Voted
SRDS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes a fault detection mechanism that uses the error codes returned by the stream sockets to locate process failures. Since these errors are generated automaticall...
155
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...