Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-8

Correctness of logic programs using proof schemes

Emmanouil Marakakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2012-9-28

Stateful authorization logic – Proof theory and a case study

Deepak Garg, Frank Pfenning

Journal of Computer Security

Retricted access

Research article

First published 2018

Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4

Martin Sticht

Fundamenta Informaticae

Retricted access

Research article

First published 2018-11-20

Temporal logic of common knowledge and its resolution-based proof method

Hadi Farahani, Saman Moshiri

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

Free access

Research article

First published 1996-11

Automating Algebraic Proofs in Algebraic Logic

Jieh Hsiang, Anita Wasilewska

Fundamenta Informaticae

Retricted access

Research article

First published 2014-8

A knowledge-based interactive verifier for logic programs

Emmanouil Marakakis, Haridimos Kondylakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2019

What Are Justification Logics?

Melvin Fitting

Fundamenta Informaticae

Retricted access

Research article

First published 2011-2

Non-classical logics for knowledge representation and reasoning

Laura Giordano, Valentina Gliozzi, Nicola Olivetti [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2019

Skolem’s Theorem in Coherent Logic

Marc Bezem, Thierry Coquand

Fundamenta Informaticae

Retricted access

Research article

First published 2017-3-16

From qualitative to quantitative proofs of security properties using first-order conditional logic 1

Joseph Y. Halpern

Journal of Computer Security

Search results