Shahid Rahman

Learn More
In this article two game-theoretically flavored approaches to logic are systematically compared: dialogical logic founded by Paul Lorenzen and Kuno Lorenz, and the game-theoretical semantics of Jaakko Hintikka. For classical Propositional logic and for classical First-order logic, an exact connection between ‘intuitionistic dialogues with hypotheses’ and(More)
The aim of the paper is to offer a dialogical interpretation of non-normal modal logic which will suggest some explorations beyond the concept of nonnormality. This interpretation will be connected to the discussion of two issues, one more philosophical and the second of a more technical nature: namely a minimalist defence of logical pluralism and the(More)
Many of the discussions about conditionals can best be put as follows: can those conditionals that involve an entailment relation be formulated within a formal system? The reasons for the failure of the classical approach to entailment have usually been that they ignore the meaning connection between antecedent and consequent in a valid entailment. One of(More)
We report a case of a 26-year-old female, who presented at 34 weeks of an uncomplicated pregnancy with an acute ST elevation anterior wall myocardial infarction. Cardiac catheterization suggested a left main coronary artery dissection with pseudoaneurysm formation. The patient's course was complicated by congestive heart failure. She was initially managed(More)
OBJECTIVES Intravascular ultrasound (IVUS) was performed to investigate the impact of kissing balloon inflation (KBI) on the main vessel (MV) stent volume, area, and symmetry after side-branch (SB) dilation in patients with coronary bifurcation lesions (CBL). BACKGROUND It remains controversial whether KBI would restore the MV stent area and symmetry loss(More)
Branching-time temporal logic offers a natural setting for a theory of belief change, since belief revision deals with the interaction of belief and information over time. We propose a temporal logic that, besides the next-time operator, contains a belief operator and an information operator. It is shown that this logic is sound and complete with respect to(More)
BACKGROUND The routine use of vascular imaging including intravascular ultrasound (IVUS) and optical coherence tomography (OCT) in guiding percutaneous coronary interventions (PCI) is still controversial especially when using drug-eluting stents. A meta-analysis of trials using bare metal stents was previously published. METHODS We conducted a(More)