Skip to main content

ResearchHubLoading navigation…

Loading ResearchHub…

Studia Logica - 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

ResearchGate

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

Journal

Studia Logica

0039-3215 · Springer Science and Business Media LLC

103 verified public works

Browse all journals →

Encoding Modal Logics in Logical Frameworks

1998 · 0 citations

Note by the Guest Editors

1998 · 0 citations

Automated Natural Deduction in Thinker

1998 · 0 citations

Strategic Construction of Fitch-style Proofs

1998 · 0 citations

Normal Natural Deduction Proofs (in classical logic)

1998 · 0 citations

Lambda Calculus and Intuitionistic Linear Logic

1997 · 0 citations

Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours

1997 · 0 citations

Not Every "Tabular" Predicate Logic is Finitely Axiomatizable

1997 · 0 citations

The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable

1997 · 0 citations

On the Algebraizability of Annotated Logics

1997 · 0 citations

Rules of Existential Quantification into "Intensional Contexts"

1997 · 0 citations

Cut-Free Tableau Calculi for some Intuitionistic Modal Logics

1997 · 0 citations

Introduction

1997 · 0 citations

Synchronization of Logics

1997 · 0 citations

Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics

1997 · 0 citations

Knowledge on Treelike Spaces

1997 · 0 citations

Labelled Resolution for Classical and Non-classical Logics

1997 · 0 citations

Simulation and Transfer Results in Modal Logic – A Survey

1997 · 0 citations

Introduction

1997 · 0 citations

Modality, Si! Modal Logic, No!

1997 · 0 citations

Why Combine Logics?

1997 · 0 citations

Combining Possibilities and Negations

1997 · 0 citations

Inverses for Normal Modal Operators

1997 · 0 citations

Grafting Modalities onto Substructural Implication Systems

1997 · 0 citations

Intuitionistic Autoepistemic Logic

1997 · 0 citations

Infinite Set Unification with Application to Categorial Grammar

1997 · 0 citations

Characterization Classes Defined without Equality

1997 · 0 citations

Kripke Bundle Semantics and C-set Semantics

1997 · 0 citations

Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics

1997 · 0 citations

Books Received

1997 · 0 citations

PreviousPage 3 of 4Next