Sage Journals: Discover world-class research

Retricted access

Research article

First published 1999-3

Multi Lingual Sequent Calculus and Coherent Spaces

Achim Jung, Mathias Kegelmann, M. Andrew Moshier

Fundamenta Informaticae

Retricted access

Research article

First published 2006-7

Foundations of Paraconsistent Resolution

Norihiro Kamide

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Completeness and Soundness Results for 𝒳 with Intersection and Union Types

Steffen van Bakel

Fundamenta Informaticae

Free access

Research article

First published 2006-2

Sequent Calculi for Temporal Logics of Common Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2012-12

Characterising Strongly Normalising Intuitionistic Terms

José Espírito Santo, Jelena Ivetić, Silvia Likavec

Fundamenta Informaticae

Free access

Research article

First published 2007-2

Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Free access

Research article

First published 2014-11

Decidability of Logic of Correlated Knowledge

Haroldas Giedra, Jūratė Sakalauskaitė, Romas Alonderis

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2011-1

A Paraconsistent Linear-time Temporal Logic

Norihiro Kamide, Heinrich Wansing

Fundamenta Informaticae

Free access

Research article

First published 2008-11

Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic

Regimantas Pliuškevičius, Aida Pliuškevičienė

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

Nicola Olivetti, Gian Luca Pozzato

Intelligenza Artificiale

Search results