Search results

Articles (5)

Journals (0)

1-5 of 5 results for complexity and decidability of modal logics

Sort by:

Relevance

Select all

Sort by:

Relevance

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 2004-8

Yoram Hirshfeld, Alexander Rabinovich

Fundamenta Informaticae

Retricted access

Research article

First published 2000-7

Stéphane Demri

Fundamenta Informaticae

Retricted access

Research article

First published 2009-10

Alessandro Ferrante, Margherita Napoli,, Mimmo Parente

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Florian Bruse, Martin Lange, Etienne Lozes

Fundamenta Informaticae