Sage Journals: Discover world-class research

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 2018

Sequence Semantics for Modelling Reason-based Preferences

Erica Calardo, Guido Governatori, Antonino Rotolo

Fundamenta Informaticae

Retricted access

Research article

First published 2003-9

Modal Probability,Belief,and Actions

Andreas Herzig

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

Incomplete and Nondeterministic Information Systems: Object-Directed Semantics for Descriptor Languages

Marcin Wolski

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Logics for Modelling Collective Attitudes

Daniele Porello

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 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 2019

A Reconstruction of Default Conditionals within Epistemic Logic

Costas D. Koutras, Christos Moyzes, Christos Rantsoudis

Fundamenta Informaticae

Retricted access

Research article

First published 2018-6

Crowd surveillance: The (in)securitization of the urban body

Hidefumi Nishiyama

Security Dialogue

Search results