You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (36)

Journals (0)

1-10 of 36 results for undecidable logic

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: The Undecidability of the Logic of Subintervals

Retricted access

Research article

First published 2014-5

The Undecidability of the Logic of Subintervals

Jerzy Marcinkowski, Jakub Michaliszyn

Fundamenta Informaticae

Select article: Logical Undecidabilities Made Easy

Retricted access

Research article

First published 2008-12

Logical Undecidabilities Made Easy

Daniel Leivant

Fundamenta Informaticae

Select article: Undecidability of a Multi-Agent Logic

Retricted access

Research article

First published 2003-2

Undecidability of a Multi-Agent Logic

Magdalena Kacprzak

Fundamenta Informaticae

Select article: A Criterion of Undecidability of Algorithmic Theories

Retricted access

Research article

First published 1981

A Criterion of Undecidability of Algorithmic Theories

Wiktor Dańko

Fundamenta Informaticae

Select article: Undecidability of satisfiability of expansions of FO [ < ] over words with a FO [ + ] -definable set

Retricted access

Research article

First published 2017-10-31

Undecidability of satisfiability of expansions of FO [ < ] over words with a FO [ + ] -definable set

Arthur Milchior

Computability

Select article: Satisfiability versus Finite Satisfiability in Elementary Modal Logics

Retricted access

Research article

First published 2018

Satisfiability versus Finite Satisfiability in Elementary Modal Logics

Jakub Michaliszyn, Jan Otop, Piotr Witkowski

Fundamenta Informaticae

Select article: Mathematical Fuzzy Logic and Natural Numbers

Retricted access

Research article

First published 2007-11

Mathematical Fuzzy Logic and Natural Numbers

Petr Hájek

Fundamenta Informaticae

Select article: Reasoning about Resources and Information: A Linear Logic Approach

Retricted access

Research article

First published 2013-8

Reasoning about Resources and Information: A Linear Logic Approach

Norihiro Kamide, Ken Kaneiwa

Fundamenta Informaticae

Select article: Products and Polymorphic Subtypes

Retricted access

Research article

First published 2002-6

Products and Polymorphic Subtypes

Viviana Bono, Jerzy Tiuryn

Fundamenta Informaticae

Select article: The theory of hegemony: Laclau’s path not taken

Retricted access

Research article

First published 2020-12

The theory of hegemony: Laclau’s path not taken

Andro Kitus

Philosophy & Social Criticism

1
2
3
4
10 / page

Article type

Publication date

Subjects

Access