Sage Journals: Discover world-class research

Retricted access

Research article

First published 1991

Axiom System Induced by CTL* Logic

Maciej Koutny

Fundamenta Informaticae

Retricted access

Research article

First published 2009-10

On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics

Costas D. Koutras, Yorgos Zikos

Fundamenta Informaticae

Open access

Research article

First published 2025

A Modal-Logic Translation of the AGM Axioms for Belief Revision 1

Giacomo Bonanno

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2013-8

A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms

Francesca A. Lisi, Umberto Straccia

Fundamenta Informaticae

Retricted access

Research article

First published 2019-12-23

Mianorm-based logics with n -contraction and n -mingle axioms

Eunsuk Yang

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

Retricted access

Research article

First published 2006-10

A Property of Independency Relations Induced by Probabilistic Distributions with Binary Variables

Azaria Paz

Fundamenta Informaticae

Retricted access

Research article

First published 1984

On Sequential Form of Functional Dynamic Logics

Regimantas Pliuškevičius

Fundamenta Informaticae

Retricted access

Research article

First published 1992

Inductive Modal Logics 1

Dimiter Vakarelov

Fundamenta Informaticae

Retricted access

Research article

First published 1991-5

Application of logical programming for the analysis of aggregative specifications

Henrikas Pranevitchus, Regina Čeponytė

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1996-9

FIRST-ORDER ROUGH LOGIC I: APPROXIMATE REASONING VIA ROUGH SETS

T.Y. Lin, Qing Liu

Fundamenta Informaticae

Search results