Results 11 to 20 of about 961,827 (257)
Amortised resource analysis with separation logic [PDF]
, 2011 Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Atkey, Robert
core +4 more sources
The information in intuitionistic logic [PDF]
, 2008 Issues about information spring up wherever one scratches the surface of logic. Here is a case that raises delicate issues of ‘factual’ versus ‘procedural’ information, or ‘statics’ versus ‘dynamics’.
van Benthem, J., Johan van Benthem
core +2 more sources
Alogisms in criminal procedural legislation
Проблеми Законності, 2017 The article is devoted to the definition of the characteristic signs of legislative defects, which are caused by violations of the rules of logic, and find a negative reflection on the conceptual-categorical apparatus of the criminal procedural ...
Олена Анатоліївна Лейба
doaj +1 more source
First-Order and Temporal Logics for Nested Words [PDF]
Logical Methods in Computer Science, 2008 Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure of parse trees and other tree-structured data, such as XML.
Rajeev Alur +5 more
doaj +1 more source
The Dynamic Epistemic Logic for Actual Knowledge [PDF]
, 2020 The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not ...
Wójcik, Arkadiusz
core +2 more sources
A Variant of Material Connexive Logic [PDF]
, 2021 The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic.
Zaitsev, Dmitry, Belikov, Alexander
core +2 more sources
The self in procedural fairness [PDF]
, 2008 Procedural fairness (whether the organizational decision-making process is perceived as fair) has profound psychological effects on organizational members.
Sedikides, Constantine +11 more
core +1 more source
SoftwareX, 2021 Executable HTML is a collection of custom HTML elements that offer document authors the ability to write and execute procedural logic in HTML5. We discuss the motivation of this approach, which lies in the composition of formal Ambulatory Assessment ...
Nikolaos Batalas +2 more
doaj +1 more source
A second order logic of existence [PDF]
, 1969 Publisher's, offprint versionA. N. Prior in [9] has suggested an approach towards a second order logic of existence where, following medieval logicians, we distinguish “between predicates (like ‘is red’, ‘is hard’, etc.) which entail existence, and ...
Cocchiarella, Nino
core +1 more source
THE LEGAL NATURE OF THE PERIOD FOR APPLYING TO THE COURT FOR ADMINISTRATIVE PROCEEDINGS
Правовое государство: теория и практика, 2022 In cases of administrative proceedings in courts of general jurisdiction and in arbitration courts, a general period of three months is established for an application to the court to challenge unlawful acts of authorities.
YUDIN Andrey Vladimirovich
doaj +1 more source