|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 2 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alexandru Baltag, Sonja Smets |
Correlated Information: A Logic for Multi-Partite Quantum Systems.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
Quantum logic as a dynamic logic. |
Synthese |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Nina Gierasimczuk, Sonja Smets |
Belief revision as a truth-tracking process. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets, Jonathan A. Zvesper |
Keep 'hoping' for rationality: a solution to the backward induction paradox. |
Synthese |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
Talking Your Way into Agreement: Belief Merge by Persuasive Communication. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
A Dynamic-Logical Perspective on Quantum Behavior. |
Studia Logica |
2008 |
DBLP DOI BibTeX RDF |
Dynamic Quantum Logic, Philosophy of Quantum Information, Logical Dynamics, Dynamic Epistemic Logic |
| 1 | Alexandru Baltag, Sonja Smets |
Probabilistic dynamic belief revision. |
Synthese |
2008 |
DBLP DOI BibTeX RDF |
Conditional belief, Popper functions, Belief revision, Dynamic-epistemic logic |
| 1 | Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh |
Epistemic Actions as Resources. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima |
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
From conditional probability to the logic of doxastic actions. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
LQP: the dynamic logic of quantum information. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Sonja Smets |
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Mehrnoosh Sadrzadeh |
The Algebra of Multi-Agent Dynamic Belief Revision. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh |
Algebra and Sequent Calculus for Epistemic Actions. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag |
A Coalgebraic Semantics for Epistemic Programs. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag |
A Logic for Coalgebraic Simulation. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag |
STS: A Structural Theory of Sets. |
Logic Journal of the IGPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Baltag |
Interpolation and Preservation for Pebble Logics. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Alexandru Baltag |
STS: A Structural Theory of Sets. |
Advances in Modal Logic |
1998 |
DBLP BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")