Sage Journals: Discover world-class research

Retricted access

Research article

First published 2013-8

On Modal μ-Calculus in S5 and Applications

Giovanna D'Agostino, Giacomo Lenzi

Fundamenta Informaticae

Retricted access

Research article

First published 2017-3-3

Łukasiewicz μ -calculus

Matteo Mio, Alex Simpson

Fundamenta Informaticae

Retricted access

Research article

First published 2012-8

Counterpart Semantics for a Second-Order μ-Calculus

Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin

Fundamenta Informaticae

Retricted access

Research article

First published 2001-11

A Fixed-point Characterization of a Deontic Logic of Regular Action

Jan Broersen, Roel Wieringa, John-Jules Meyer

Fundamenta Informaticae

Retricted access

Research article

First published 2007-5

Arithmetical Proofs of Strong Normalization Results for Symmetric λ-calculi

René David, Karim Nour

Fundamenta Informaticae

Retricted access

Research article

First published 2018-5-24

On the consistency of context-aware systems

Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2010-11

Graded Alternating-Time Temporal Logic

Marco Faella, Margherita Napoli, Mimmo Parente

Fundamenta Informaticae

Retricted access

Research article

First published 1996-4

ON NATURAL DEDUCTION IN FIRST-ORDER FIXPOINT LOGICS

Andrzej Szalas

Fundamenta Informaticae

Retricted access

Research article

First published 2021

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Florian Bruse, Martin Lange, Etienne Lozes

Fundamenta Informaticae

Retricted access

Research article

First published 2007-02

Effect of Pulse Width on Object Movement In Vitro Using Holmium:YAG Laser

Pankaj Kalra, Ngoc-Bich LE, Demetrius Bagley

Journal of Endourology

Search results