Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-11

A Logic-Based,Reactive Calculus of Events

Federico Chesani, Paola Mello, Marco Montali [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2005-12

Incidence Calculus on Łukasiewicz's Three-valued Logic

Guilin Qi, Peter Milligan, Paul Sage

Fundamenta Informaticae

Retricted access

Research article

First published 2014-2

On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems

Gianluigi Bellin, Alessandro Menti

Fundamenta Informaticae

Retricted access

Research article

First published 2000-5

Succinctness Gap between Monadic Logic and Duration Calculus

A. Rabinovich

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs

Linh Anh Nguyen

Fundamenta Informaticae

Retricted access

Research article

First published 1997-12

A Convex Powerdomain over Lattices: its Logic and λ-Calculus

Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro

Fundamenta Informaticae

Retricted access

Research article

First published 1996-5

McCARTHY ALGEBRAS: A MODEL OF McCARTHY'S LOGICAL CALCULUS

Beata Konikowska

Fundamenta Informaticae

Retricted access

Research article

First published 2005-2

Principal Typing for Lambda Calculus in Elementary Affine Logic

Paolo Coppola, Simona Ronchi della Rocca

Fundamenta Informaticae

Retricted access

Research article

First published 2010-5

Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬

Nasim Farsiniamarj, Volker Haarslev

The European Journal on Artificial Intelligence

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

Search results