17054 search results - page 95 / 3411 » Logics of Dynamical Systems |
ENTCS
2008
13 years 10 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
EACL
2003
ACL Anthology
13 years 11 months ago
2003
ACL Anthology
This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we prese...
SYNTHESE
2008
13 years 10 months ago
2008
ABSTRACT. In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combine...
AML
2010
13 years 10 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
JELIA
2000
Springer
14 years 1 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...