Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stefano Baratella
RETRACTED ARTICLE: A Completeness Theorem for Continuous Predicate Modal Logic
Archive for Mathematical Logic
Philosophy
Logic
Related publications
A Characterization Theorem for a Modal Description Logic
RETRACTED ARTICLE: Retraction
International Journal of Computers and Applications
Computer Graphics
Hardware
Computer Science Applications
Computer-Aided Design
Architecture
Software
RETRACTED ARTICLE: Seasons
Journal of Medical Humanities
Health Policy
Health
Predicate Logic With Anaphora
Semantics and Linguistic Theory
A Modal Herbrand Theorem
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
RETRACTED ARTICLE: Statement of Retraction
African Security Review
Safety Research
Law
International Relations
Political Science
RETRACTED ARTICLE: Different Anesthesia Methods for Laparoscopic Cholecystectomy
Der Anaesthesist
Medicine
Anesthesiology
Pain Medicine
Formalising Design Patterns in Predicate Logic
Towards a Symbolic Modal Logic for LOTOS
