Sage Journals: Discover world-class research

Free access

Research article

First published 2006-2

Sequent Calculi for Temporal Logics of Common Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Free access

Research article

First published 2007-2

Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Free access

Research article

First published 1996-11

Belief Revision in Non-Monotonic Reasoning and Logic Programming

José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski

Fundamenta Informaticae

Retricted access

Research article

First published 1989

A Nonmonotonic Logic of Belief

Louise E. Moser

Fundamenta Informaticae

Retricted access

Research article

First published 1992

On Perfect Introspection with Quantifying-In 1

Gerhard Lakemeyer

Fundamenta Informaticae

Free access

Research article

First published 2026

Preservation in Dynamic Epistemic Logic

Yì N. Wáng, Xiaolong Liang, Thomas Ågotnes

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1991

Quantification in Autoepistemic Logic

Kurt Konolige

Fundamenta Informaticae

Retricted access

Research article

First published 2018-3

What Might International Development Assistance Be Able to Tell Us About Contemporary “Policy Government” in Developed Countries?

Adam Fforde

Administration & Society

Retricted access

Research article

First published 2006-8

A Quantifier-free First-order Knowledge Logic of Authentication

Mirosław Kurkowski, Marian Srebrny

Fundamenta Informaticae

Retricted access

Research article

First published 2018-5-24

Merginator: A belief merging tool for consensus support

Pilar Pozos-Parra, Oscar Chávez-Bosquez, Kevin McAreavey

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

Search results