Results 221 to 230 of about 235,856 (255)
Some of the next articles are maybe not open access.
Functional Procedures in Higher-Order Logic
2000In this paper we present an approach for modelling functional procedures (as they occur in imperative programming languages) in a weakest precondition framework. Functional procedures are called inside expressions, but the body of a functional procedure is built using standard specification/programming syntax, including nondeterminism, sequential ...
Linas Laibinis, Joakim von Wright
openaire +1 more source
On decision procedures for sentential logics
Studia Logica, 1991zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Modelling defeasibility in law: Logic or procedure?
Fundamenta Informaticae, 2001Summary: This paper investigates whether current nonmonotonic logics are suitable for formalizing the defeasibility of legal reasoning. It does so by studying the role of burden of proof in legal argument, in particular how allocations of burden of proof determine the required strength of counterarguments.
openaire +2 more sources
Propositional Dynamic Logic for Recursive Procedures
2008We present a simple and natural deductive formalism μPDL for propositional dynamic logic for recursive procedures, including simultaneous recursion. Though PDL with recursive programs is known to be highly undecidable, natural deductive formalisms for it are of substantial interest, because they distill the essential logical components of recursive ...
openaire +1 more source
Decision Procedures for Propositional Logic
2008Daniel Kroening, Ofer Strichman
openaire +1 more source
Proof Procedures for Disjunctive Logic Programming
1994Several proof procedures have been explicitly proposed for the pure (without nonmonotonic negation) Disjunctive Logic Programming (DLP) domain. These include SLO-resolution (Rajasekar, Minker), SLI-resolution (Minker, Zanon) and near-Horn Prolog in several variants (Loveland, Reed).
openaire +1 more source