Skip to main content

ResearchHubLoading navigation…

Loading ResearchHub…

Explore the network

Research, people, journals and institutions — all in one place.

Explore

01Research 02Smart search 03Researchers 04Journals 05Institutions 06RHR Rankings 07ResearchHub platform 08Events

Work together

Turn ideas into projects, questions and reusable datasets.

Connect

01Projects 02Questions 03Datasets

Stay informed

Follow trends, opportunities and your research library.

Insights

01Research trends 02Opportunities 03Library 04Research services 05ResearchHub Pro 06Pricing

ResearchHub

Explore ResearchHub.

Personal

01Recommended research 02Research intelligence

Home Search Network Library Log in

ResearchHub

Research, connected

Explore the graph

X

Download ResearchHub

GET IT ONGoogle PlayComing soonDownload on theApp StoreComing soonEXPLORE IT ONAppGalleryComing soon

Research

Research Researchers Journals Institutions RHR Rankings

Contribute

Projects Questions Datasets Opportunities

Platform

ResearchHub platform About Blog Community Help API Licensing

Shopping

Contact and support

Need help, have a question, or want to contact the ResearchHub team?

Contact and support support@aresearch.uk

© 2026 ResearchHub. Built for responsible scholarly connection.

Help Article feed Privacy Terms Cookies This work is licensed under Creative Commons Attribution 4.0 InternationalCC BY 4.0

Privacy-aware community infrastructure

Privacy & Cookies

We use cookies and similar technologies

ResearchHub uses necessary technologies for security, authentication and core functionality. Advertising choices, where available, are collected separately through Google's consent message.

See our Privacy Notice and Cookie Policy.

Studia Logica - ResearchHub

Journal

Studia Logica

0039-3215 · Springer Science and Business Media LLC

103 verified public works

Browse all journals →

Superintuitionistic Companions of Classical Modal Logics

1997 · 0 citations

Consequence Operations Based on Hypergraph Satisfiability

1997 · 0 citations

Game Logic and its Applications II

1997 · 0 citations

Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator

1997 · 0 citations

Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part 1

1997 · 0 citations

Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case

1997 · 0 citations

A Logic for Information Systems

1997 · 0 citations

Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices)

1997 · 0 citations

A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

1997 · 0 citations

A Logic for Reasoning about Relative Similarity

1997 · 0 citations

Fuzzy Logic and Arithmetical Hierarchy, II

1997 · 0 citations

A Completeness Proof for a Logic with an Alternative Necessity Operator

1997 · 0 citations

An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz

1997 · 0 citations

PreviousPage 4 of 4