Sage Journals: Discover world-class research

Retricted access

Research article

First published 2019

A Dynamic Logic Account of Active Integrity Constraints

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis

Fundamenta Informaticae

Retricted access

Research article

First published 2016

ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic

Linh Anh Nguyen

Fundamenta Informaticae

Retricted access

Research article

First published 1984

Propositional Logics of Formal Languages

Slavian Radev

Fundamenta Informaticae

Retricted access

Research article

First published 2001-6

A Fragment of Intuitionistic Dynamic Logic

Sergio A. Celani

Fundamenta Informaticae

Retricted access

Research article

First published 2003-7

Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection

Philippe Balbiani

Fundamenta Informaticae

Retricted access

Research article

First published 2009-05

Logic Integer Programming Models for Signaling Networks

Utz-Uwe Haus, Kathrin Niermann, Klaus Truemper [...]

Journal of Computational Biology

Retricted access

Research article

First published 2001-3

Iteration-free PDL with Intersection: a Complete Axiomatization

Philippe Balbiani, Dimiter Vakarelov

Fundamenta Informaticae

Retricted access

Research article

First published 2007-1

Complexity Issues in Multiagent Logics

Marcin Dziubiński, Rineke Verbrugge, Barbara Dunin-K�plicz

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system 1

Jia Hairui, Liu Yi, Xu Yang

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

Retricted access

Research article

First published 2003-9

A Modal Characterization of Nash Equilibrium

Paul Harrenstein, Wiebe van der Hoek, John-Jules Meyer [...]

Fundamenta Informaticae

Search results