Resource theories of knowledge
How far can we take the resource theoretic approach to explore physics? Resource theories
like LOCC, reference frames and quantum thermodynamics have proven a powerful tool to …
like LOCC, reference frames and quantum thermodynamics have proven a powerful tool to …
Multi-type sequent calculi
Display calculi are generalized sequent calculi which enjoy acanonical'cut elimination
strategy. That is, their cut elimination is uniformly obtained by verifying the assumptions of a …
strategy. That is, their cut elimination is uniformly obtained by verifying the assumptions of a …
On the complexity of dynamic epistemic logic
G Aucher, F Schwarzentruber - arXiv preprint arXiv:1310.6406, 2013 - arxiv.org
Although Dynamic Epistemic Logic (DEL) is an influential logical framework for representing
and reasoning about information change, little is known about the computational complexity …
and reasoning about information change, little is known about the computational complexity …
A 103 W erbium–ytterbium co-doped large-core fiber laser
JK Sahu, Y Jeong, DJ Richardson, J Nilsson - Optics communications, 2003 - Elsevier
We report a highly efficient cladding-pumped erbium–ytterbium co-doped large-core fiber
laser, generating up to 103 W of continuous-wave output power at 1.57 μm with a beam …
laser, generating up to 103 W of continuous-wave output power at 1.57 μm with a beam …
Multi-type display calculus for dynamic epistemic logic
In the present article, we introduce a multi-type display calculus for dynamic epistemic logic,
which we refer to as Dynamic Calculus. The display approach is suitable to modularly chart …
which we refer to as Dynamic Calculus. The display approach is suitable to modularly chart …
[PDF][PDF] Epistemic logic and information update
A Baltag, HP van Ditmarsch… - Handbook on the …, 2008 - iulg.sitehost.iu.edu
Epistemic logic investigates what agents know or believe about certain factual descriptions
of the world, and about each other. It builds on a model of what information is (statically) …
of the world, and about each other. It builds on a model of what information is (statically) …
[HTML][HTML] Algebraic semantics and model completeness for intuitionistic public announcement logic
In the present paper, we start studying epistemic updates using the standard toolkit of duality
theory. We focus on public announcements, which are the simplest epistemic actions, and …
theory. We focus on public announcements, which are the simplest epistemic actions, and …
Interactive power flow characteristics of an integrated equipment—nonlinear isolator—travelling flexible ship excited by sea waves
YP Xiong, JT Xing, WG Price - Journal of sound and vibration, 2005 - Elsevier
A nonlinear interactive system comprising of equipment, nonlinear isolator and travelling
flexible ship excited by waves is studied from a vibratory power flow viewpoint to examine its …
flexible ship excited by waves is studied from a vibratory power flow viewpoint to examine its …
A proof-theoretic semantic analysis of dynamic epistemic logic
The present article provides an analysis of the existing proof systems for dynamic epistemic
logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the …
logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the …
[图书][B] Quantum physics and linguistics: a compositional, diagrammatic discourse
New scientific paradigms typically consist of an expansion of the conceptual language with
which we describe the world. Over the past decade, theoretical physics and quantum …
which we describe the world. Over the past decade, theoretical physics and quantum …