- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Comparing process algebra and dynamic epistemic logic with focus on protocol analysis
Abstract
Eric: “We were wondering if you could give a talk on DEL and Process Algebra (in the sense that both are languages to describe how the model changes).” Jan: “I will give it a try.”.Author's Profile
My notes
Similar books and articles
The model theory of modules of a C*-algebra.Camilo Argoty - 2013 - Archive for Mathematical Logic 52 (5-6):525-541.
Kalicki Jan. An undecidable problem in the algebra of truth-tables. [REVIEW]Gene F. Rose - 1955 - Journal of Symbolic Logic 20 (3):283-284.
Review: Jan Kalicki, An Undecidable Problem in the Algebra of Truth-Tables. [REVIEW]Gene F. Rose - 1955 - Journal of Symbolic Logic 20 (3):283-284.
Subdirectly irreducible separable dynamic algebras.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2010 - Mathematical Logic Quarterly 56 (4):442-448.
Approximation Logic and Strong Bunge Algebra.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (4):595-605.
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
Using process algebra to describe human and software behaviors.Yingxu Wang - 2003 - Brain and Mind 4 (2):199-213.
Bochvar-McCarthy Logic and Process Algebra.Jan A. Bergstra & Alban Ponse - 1998 - Notre Dame Journal of Formal Logic 39 (4):464-484.
16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics.Reinhard Muskens - 2017 - A Programming Road to Logic, Maths, Language, and Philosophy : A Tribute to Jan van Eijck on the Occasion of His Retirement.
Analytics
Added to PP
2009-01-28
Downloads
24 (#644,535)
6 months
24 (#148,443)
2009-01-28
Downloads
24 (#644,535)
6 months
24 (#148,443)
Historical graph of downloads
Author's Profile
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-ktvwr uwo