Results 281 to 290 of about 1,229,738 (330)

Real-time temporal logic decision procedures

[1989] Proceedings. Real-Time Systems Symposium, 2003
Real-time systems are modeled by a timed transition model (TTM). For any finite-state TTM, decision procedures are provided for checking a small but important class of properties, which are specified in real-time temporal logic. The procedures are linear in the size of the system reachability graph.
openaire   +1 more source

An extended procedure in quantificational logic

Journal of Symbolic Logic, 1953
The aim of this paper is to present a decision procedure which seems to be as easy to use as other available procedures in quantification theory, but which is considerably stronger than the others, providing a mechanical test for a sub-species of polyadic validity which is very much broader than monadic validity. Of course, a test for polyadic validity
openaire   +2 more sources

Reconstructing the Moral Logic of the Stakeholder Approach, and Reconsidering the Participation Requirement

Philosophy of Management, 2023
Marc A. Cohen
semanticscholar   +1 more source

On the Ontological Foundations of Procedural Logic

Voprosy filosofii, 2019
V. Konev
semanticscholar   +1 more source

Functional Procedures in Higher-Order Logic

2000
In 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

A study of developing the procedural logic learning system using the concept of Therbligs

IEEE International Conference on Multimedia and Expo, 2011
Yu-Ren Yen
semanticscholar   +1 more source

On decision procedures for sentential logics

Studia Logica, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

The Institutional and Procedural Logic of the Early Warning System

, 2012
P. Kiiver
semanticscholar   +1 more source

A Simple Logic of Concepts

Journal of Philosophical Logic, 2022
Thomas F. Icard, L. Moss
semanticscholar   +1 more source

Modelling defeasibility in law: Logic or procedure?

Fundamenta Informaticae, 2001
Summary: 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