Results 51 to 60 of about 2,593,900 (78)
Logical rules as fractions and logics as sketches [PDF]
arXiv, 2018 In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
arxiv
Erratum to "Frequency Linear-time Temporal Logic" [PDF]
arXiv, 2020 We correct our proof of a theorem stating that satisfiability of frequency linear-time temporal logic is undecidable [TASE 2012].
arxiv
Revising Type-2 Computation and Degrees of Discontinuity [PDF]
, 2006 By the sometimes so-called MAIN THEOREM of Recursive Analysis, every computable real function is necessarily continuous. Weihrauch and Zheng (TCS'2000), Brattka (MLQ'2005), and Ziegler (ToCS'2006) have considered different relaxed notions of ...
Barmpalias +21 more
core +3 more sources
The Complexity of Temporal Logic over the Reals [PDF]
arXiv, 1999 It is shown that the decision problem for the temporal logic with until and since connectives over real-numbers time is PSPACE-complete.
arxiv
On the definition of a theoretical concept of an operating system [PDF]
, 2010 We dwell on how a definition of a theoretical concept of an operating system, suitable to be incorporated in a mathematical theory of operating systems, could look like.
Bergstra, J. A., Middelburg, C. A.
core +1 more source
Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight [PDF]
arXiv, 2006 This article responds to a critique of higher-order abstract syntax appearing in Logic Column 14, ``Nominal Logic and Abstract Syntax'', cs.LO/0511025.
arxiv
Isabelle/PIDE as Platform for Educational Tools
, 2012 The Isabelle/PIDE platform addresses the question whether proof assistants of the LCF family are suitable as technological basis for educational tools.
Amine Chaieb +29 more
core +2 more sources
Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics [PDF]
arXiv, 2007 This article surveys some of the recent work in verification of temporal epistemic logic via symbolic model checking, focusing on OBDD-based and SAT-based approaches for epistemic logics built on discrete and real-time branching time temporal logics.
arxiv
PUC-Logic embedding of Lewis' Deontic Logics [PDF]
arXiv, 2014 We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic $\boldsymbol{CO}$ logic and showing its relative completeness.
arxiv
Interest prohibition and financial product innovation [PDF]
, 2011 We give a rough sketch of the Judaic, Greek, Islamic and Christian positions in the matter of interest prohibition during the last few millennia and discuss the way in which interest prohibition is dealt with in Islamic finance, the problems with ...
Bergstra, J. A., Middelburg, C. A.
core +1 more source