Results 291 to 300 of about 5,727 (317)

MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS

The Review of Symbolic Logic
AbstractAn original family of labelled sequent calculi $\mathsf {G3IL}^{\star }$ for classical interpretability logics is presented, modularly designed on the basis of Verbrugge semantics (a.k.a. generalised Veltman semantics) for those logics.
Perini Brogi C., Negri S., Olivetti N.
openaire   +1 more source

Sequent Calculi for Normal Update Logics

2019
Normal update logic is the temporalization of normal conditional logic. Sequent calculi for the least normal update logic \(\mathbf {UCK}\) by Andreas Herzig (1998) and some of its extensions are developed. The subformula property of these sequent calculi is shown by Takano’s semantic method.
Katsuhiko Sano, Minghui Ma
openaire   +1 more source

Interpolation Method for Multicomponent Sequent Calculi

2015
The proof-theoretic method of proving the Craig interpolation property was recently extended from sequents to nested sequents and hypersequents. There the notations were formalism-specific, obscuring the underlying common idea, which is presented here in a general form applicable also to other similar formalisms, e.g., prefixed tableaus.
openaire   +1 more source

Modal Logic and Ordinary Sequent Calculi

2010
The first part of the chapter is dedicated to a brief summary of the main notions and results of what is usually called normal modal logic. In the second part of the chapter we present the ordinary sequent calculi that have been developed for modal logic.
openaire   +1 more source

A Survey of Qualitative Spatial and Temporal Calculi

ACM Computing Surveys, 2018
Frank Dylla, Jae Hee Lee, Thomas Schneider   +2 more
exaly  

A uniform definition of stochastic process calculi

ACM Computing Surveys, 2013
Rocco De Nicola, Diego Latella, Michele Loreti   +2 more
exaly  

Drug-Induced Renal Calculi

Drugs, 2012
Michel Daudon, Paul Jungers
exaly  

E.A.E.S. multicenter prospective randomized trial comparing two-stage vs single-stage management of patients with gallstone disease and ductal calculi

Surgical Endoscopy and Other Interventional Techniques, 2014
Alfred Cuschieri
exaly  

PROSPECTIVE, RANDOMIZED TRIAL COMPARING SHOCK WAVE LITHOTRIPSY AND URETEROSCOPY FOR LOWER POLE CALICEAL CALCULI 1 CM OR LESS

Journal of Urology, 2005
Glenn M Preminger, Joseph N Macaluso
exaly  

Acute inflammatory proteins constitute the organic matrix of prostatic corpora amylacea and calculi in men with prostate cancer

Proceedings of the National Academy of Sciences of the United States of America, 2009
Karen S Sfanos, Angelo M De Marzo, William B Isaacs   +2 more
exaly