Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Logic

Boolean Satisfiability With Transitivity Constraints

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2002English

PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic

Journal of Applied Non-Classical Logics
PhilosophyLogic
2004English

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

Journal of Applied Non-Classical Logics
PhilosophyLogic
2009English

Interpreting an Action From What We Perceive and What We Expect

Journal of Applied Non-Classical Logics
PhilosophyLogic
2007English

Abduction via C-Tableaux and Δ-Resolution

Journal of Applied Non-Classical Logics
PhilosophyLogic
2009English

Computing Generalized Specificity

Journal of Applied Non-Classical Logics
PhilosophyLogic
2003English

Frame Constructions, Truth Invariance and Validity Preservation in Many-Valued Modal Logic

Journal of Applied Non-Classical Logics
PhilosophyLogic
2005English

On Countable Choice and Sequential Spaces

Mathematical Logic Quarterly
Logic
2008English

On the Fine Structure of the Polygroup Blow-Up

Archive for Mathematical Logic
PhilosophyLogic
2003English

Archive for Mathematical Logic

Archive for Mathematical Logic
PhilosophyLogic
English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy