Facet browsing currently unavailable
Page 1 of 1584 results
Sort by: relevance publication year
Ultimate Normal Forms for Parallelized Natural Deductions JOURNAL ARTICLE published 1 May 2002 in Logic Journal of IGPL |
What is mathematical logic? An Australian odyssey JOURNAL ARTICLE published 27 November 2023 in Logic Journal of the IGPL |
Malinowski modalization, modalization through fibring and the Leibniz hierarchy JOURNAL ARTICLE published 1 October 2013 in Logic Journal of IGPL |
Acknowledgements JOURNAL ARTICLE published 16 August 2006 in Logic Journal of IGPL |
A normative multiagent approach to requirements engineering JOURNAL ARTICLE published 1 February 2010 in Logic Journal of IGPL |
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations JOURNAL ARTICLE published 1995 in Logic Journal of IGPL |
A bisimulation characterization for interpretability logic JOURNAL ARTICLE published 1 December 2014 in Logic Journal of IGPL |
Logic programming for modeling morality JOURNAL ARTICLE published August 2016 in Logic Journal of IGPL |
Some semantical aspects of linear logic JOURNAL ARTICLE published 1 July 1997 in Logic Journal of IGPL |
The Essential Inadequacy of Deduction in Logic Programming JOURNAL ARTICLE published 1 March 1995 in Logic Journal of IGPL |
Foreword JOURNAL ARTICLE published 26 September 2007 in Logic Journal of IGPL |
A Resolution Calculus for Shortening Proofs JOURNAL ARTICLE published 1 May 2005 in Logic Journal of the IGPL |
S4 is Topologically Complete for (0,1): a Short Proof JOURNAL ARTICLE published 1 January 2006 in Logic Journal of the IGPL |
The computational complexity of hybrid temporal logics JOURNAL ARTICLE published 1 September 2000 in Logic Journal of IGPL |
Acknowledgements JOURNAL ARTICLE published 1 October 2009 in Logic Journal of IGPL |
Secure JAVA application in SOA-based cross-border PKI mobile government systems JOURNAL ARTICLE published 1 August 2013 in Logic Journal of IGPL |
3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96) and Brazilian Conference on Mathematical Logic (EBL'96) JOURNAL ARTICLE published 1995 in Logic Journal of IGPL |
Labelled proof nets for the syntax and semantics of natural languages JOURNAL ARTICLE published 1 September 1999 in Logic Journal of IGPL |
Interest group in pure and applied logics (IGPL) JOURNAL ARTICLE published 1 January 1998 in Logic Journal of IGPL |
Data, Schema, Ontology and Logic Integration JOURNAL ARTICLE published 1 November 2005 in Logic Journal of the IGPL |