Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-3

First-Order Ground Non-Monotonic Modal Logic

Benjamin Grimberg, Michael Kaminski

Fundamenta Informaticae

Retricted access

Research article

First published 1999-5

Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces

Costas D. Koutras, George Koletsos, Stathis Zachos

Fundamenta Informaticae

Retricted access

Research article

First published 2000-7

First-order Non-monotonic Modal Logics

Michael Kaminski, Guy Rey

Fundamenta Informaticae

Retricted access

Research article

First published 2002-7

Weaker Axioms,More Ranges

Costas D. Koutras, Pavlos Pappas

Fundamenta Informaticae

Retricted access

Research article

First published 2020

A Unifying Approach for Nonmonotonic S4F,(Reflexive) Autoepistemic Logic,and Answer Set Programming

Ezgi Iraz Su

Fundamenta Informaticae

Retricted access

Research article

First published 1994-6

THE LOGIC OF ONLY KNOWING AS A UNIFIED FRAMEWORK FOR NON-MONOTONIC REASONING

Jianhua Chen

Fundamenta Informaticae

Retricted access

Research article

First published 2007-9

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

Joost Vennekens, Johan Wittocx, Maarten Mariën [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2007-9

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Joost Vennekens, Johan Wittocx, Maarten Mariën [...]

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 2019

A Reconstruction of Default Conditionals within Epistemic Logic

Costas D. Koutras, Christos Moyzes, Christos Rantsoudis

Fundamenta Informaticae

Search results