Skip to search formSkip to main contentSkip to account menu

Imperative logic

Known as: Imperative, Ross' paradox, Ross' deontic paradox 
Imperative logic is the field of logic concerned with arguments containing sentences in the imperative mood. In contrast to sentences in the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Charles Leonard HamblinDeontic logicFormal ethicsImperative programming

Broader (1)

Modal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018
2014
2014
Be Nice! How Simple Imperatives Simplify Imperative Logic
In a series of articles, P. Vranas recently proposed a new imperative logic. The strong and weak inferences of this logic are… 
2013
2013
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013
Review
2011
Review
2011
A Critical Review of Alexis Kagame’s Four Categories of African Philosophy
Philosophy as a rational enterprise is and remains the search for truth. This endeavour is basically centred on man and his… 
2011
2011
Dynamic Models in Imperative Logic (Imperatives in Action: Changing Minds and Norms)
U radu se izvode posljedice koje teorija imperativa unosi u filozofiju jezika, filozofiju znanosti o covjeku, te filozofiju… 
2010
2010
A Transformation Tool for Functional Logic Program Development ?
We present a tool to develop functional logic programs from their specifications. Specifications of functional logic languages, i… 
2003
2003
Imperative Logic , Moods and Sentence Radicals
The aim of this essay is to examine two challenges that the imperative logic poses to the received view of sentence moods… 
1999
1999
Preface: Volume 27
1989
1989
HCRC-Parallel computer: A massively parallel combined architecture supercomputer
1979
1979
A Logic of the Doubtful on Optative and Imperative Logic
The paper [1939, 1], (with minor improvements of the notation) is here included despite its obvious shortcomings, since some of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)