Sage Journals: Discover world-class research

Retricted access

Research article

First published 2019

A Modal Logic of a Truth Definition for Finite Models *

Marek Czarnecki, Konrad Zdanowski

Fundamenta Informaticae

Retricted access

Research article

First published 2012-1

Finite-valued Logics for Information Processing

Arnon Avron, Beata Konikowska

Fundamenta Informaticae

Retricted access

Other

First published 2011-2

Finite domain and symbolic inference methods for extensions of first-order logic

Johan Wittocx

The European Journal on Artificial Intelligence

Free access

Research article

First published 2012-8

Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates

Henrikas Pranevicius, Stanislovas Norgėla

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2018

Constraint Logic Programming with Polynomial Constraints over Finite Domains

Federico Bergenti, Stefania Monica, Gianfranco Rossi

Fundamenta Informaticae

Retricted access

Research article

First published 1990

Resolution in the Domain of Strongly Finite Logics

Zbigniew Stachniak, Peter O’Hearn

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Satisfiability versus Finite Satisfiability in Elementary Modal Logics

Jakub Michaliszyn, Jan Otop, Piotr Witkowski

Fundamenta Informaticae

Retricted access

Research article

First published 1991

Applications of Finite Models Properties in Approximation and Algorithmic Logics

Jarosław Stepaniuk

Fundamenta Informaticae

Open access

Research article

First published 2007-2

Disequality Management in Integer Difference Logic via Finite Instantiations 1

Hyondeuk Kim, Hoonsang Jin, Fabio Somenzi

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2025

Logic-based switching finite-time cooperative control for multiple robots with applications in library

Shan Yan, Shiqi Zheng

Measurement and Control

Search results