Amanote Research

Amanote Research

    RegisterSign In

RETRACTED ARTICLE: A Completeness Theorem for Continuous Predicate Modal Logic

Archive for Mathematical Logic - United States
doi 10.1007/s00153-017-0554-7
Full Text
Open PDF
Abstract

Available in full text

Categories
PhilosophyLogic
Date

May 4, 2017

Authors
Stefano Baratella
Publisher

Springer Science and Business Media LLC


Related search

A Characterization Theorem for a Modal Description Logic

2017English

RETRACTED ARTICLE: Retraction

International Journal of Computers and Applications
Computer GraphicsHardwareComputer Science ApplicationsComputer-Aided DesignArchitectureSoftware
2019English

RETRACTED ARTICLE: Seasons

Journal of Medical Humanities
Health PolicyHealth
2010English

Predicate Logic With Anaphora

Semantics and Linguistic Theory
1994English

A Modal Herbrand Theorem

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

RETRACTED ARTICLE: Statement of Retraction

African Security Review
Safety ResearchLawInternational RelationsPolitical Science
2016English

RETRACTED ARTICLE: Different Anesthesia Methods for Laparoscopic Cholecystectomy

Der Anaesthesist
MedicineAnesthesiologyPain Medicine
2013English

Formalising Design Patterns in Predicate Logic

2007English

Towards a Symbolic Modal Logic for LOTOS

1996English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy