Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-6

Clausal Tableaux for Multimodal Logics of Belief

Rajeev Goré, Linh Anh Nguyen

Fundamenta Informaticae

Retricted access

Research article

First published 2021-01-11

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM

Tiziano Dalmonte, Sara Negri, Nicola Olivetti [...]

Intelligenza Artificiale

Retricted access

Research article

First published 1992

Inductive Modal Logics 1

Dimiter Vakarelov

Fundamenta Informaticae

Retricted access

Research article

First published

On K -modal BL -logics

Esfandiar Eslami, Omid Yousefi Kia, Arsham Borumand Saeid

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

Free access

Research article

First published 1996-11

A Modal Herbrand Theorem

Melvin Fitting

Fundamenta Informaticae

Retricted access

Research article

First published 1998-1

Automated Deduction Techniques for Studying Rough Algebras

Laurent Vigneron

Fundamenta Informaticae

Retricted access

Research article

First published 2020

A Many-sorted Polyadic Modal Logic

Ioana Leuştean, Natalia Moangă, Traian Florin Şerbănuţă

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 2019

A Modal Logic of a Truth Definition for Finite Models *

Marek Czarnecki, Konrad Zdanowski

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

Search results