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 (163)

Journals (0)

1-10 of 163 results for first-order and second-order logic

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: A Note on the Logical Definability of Rational Trace Languages

Retricted access

Research article

First published 2012-7

A Note on the Logical Definability of Rational Trace Languages

Christian Choffrut

Fundamenta Informaticae

Select article: Team Logic and Second-Order Logic

Retricted access

Research article

First published 2011-1

Team Logic and Second-Order Logic

Juha Kontinen, Ville Nurmi

Fundamenta Informaticae

Select article: Definability and Canonicity for Boolean Logic with a Binary Relation

Retricted access

Research article

First published 2014-2

Definability and Canonicity for Boolean Logic with a Binary Relation

Philippe Balbiani, Tinko Tinchev

Fundamenta Informaticae

Select article: Definability and Compression

Retricted access

Research article

First published 2003-6

Definability and Compression

Foto Afrati, Hans Leiß, Michel de Rougemont

Fundamenta Informaticae

Select article: Underlying Common Factors of Adolescent Problem Behaviors

Retricted access

Research article

First published 2002-04

Underlying Common Factors of Adolescent Problem Behaviors

Lening Zhang, John W. Welte, William F. Wieczorek

Criminal Justice and Behavior

Select article: Composition Theorem for Generalized Sum

Retricted access

Research article

First published 2007-9

Composition Theorem for Generalized Sum

Alexander Rabinovich

Fundamenta Informaticae

Select article: A Reduction Result for Circumscribed Semi-Horn Formulas

Retricted access

Research article

First published 1996-12

A Reduction Result for Circumscribed Semi-Horn Formulas

Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas

Fundamenta Informaticae

Select article: General Domain Circumscription and its Effective Reductions

Retricted access

Research article

First published 1998-10

General Domain Circumscription and its Effective Reductions

Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas

Fundamenta Informaticae

Select article: An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties

Retricted access

Research article

First published 2001-11

An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties

Laurence Cholvy, Christophe Garion

Fundamenta Informaticae

Select article: Assembly and Disassembly Planning by using Fuzzy Logic & Genetic Algorithms

Open access

Research article

First published 2004-6

Assembly and Disassembly Planning by using Fuzzy Logic & Genetic Algorithms

L. M. Galantucci, G. Percoco, R. Spina

International Journal of Advanced Robotic Systems

1
2
3
•••
17
10 / page

Article type

Publication date

Subjects

Access