1423 search results - page 14 / 285 » Quantum logic as a dynamic logic |
115
Voted
JOLLI
2010
15 years 8 days ago
2010
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...
160
click to vote
LOGCOM
2010
14 years 8 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
122
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
124
click to vote
VSTTE
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
95
Voted
EUSFLAT
2009
14 years 11 months ago
2009
