4401 search results - page 253 / 881 » Computing with Default Logic |
188
click to vote
LICS
2008
IEEE
15 years 12 months ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
144
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
174
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
147
click to vote
ICNC
2005
Springer
15 years 11 months ago
2005
Springer
In completeness theories of multiple-valued logic, the characterization of Sheffer functions is an important problem，and the solution can be reduced to determining the minimal co...
119
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...