Temporal alethic–deontic logic and semantic tableaux
Reads0
Chats0
TLDR
The purpose of this paper is to describe a set of temporal alethic–deontic systems, i.e. systems that include temporal, Alethic and deontic operators.About:
This article is published in Journal of Applied Logic.The article was published on 2012-09-01 and is currently open access. It has received 13 citations till now. The article focuses on the topics: Deontic logic & Alethic modality.read more
Citations
More filters
Journal ArticleDOI
The Moral Law and The Good in Temporal Modal Deontic Logic with Propositional Quantifiers
TL;DR: The Moral Law is fulfilled (in a possible world omega at a time tau) iff (if and only it) everything that ought to be the case is the case (in omega at tau), and The Good (or The Highest Possible G... as mentioned in this paper ).
Alethic-Deontic Logic : Deontic Accessibility Defined in Terms of Alethic Accessibility
TL;DR: Alethic-deontic logic is a kind of bimodal logic that combines ordinary alethic (modal) logic and deontic (norm) logic as mentioned in this paper.
Journal ArticleDOI
Quantified temporal alethic-deontic logic
TL;DR: This paper describes a set of quantified temporal alethic-deontic systems, i.e., systems that combine temporal Alethic deontic logic with predicate logic, and uses a kind of possible world semantics, inspired by the so-called T × W semantics, to characterize them semantically and semantic tableaux to characterized them proof theoretically.
Journal ArticleDOI
Quantified Temporal Alethic Boulesic Doxastic Logic
TL;DR: It is shown how one can use semantic tableaux to establish validity and invalidity and read off countermodels and an example of a valid argument and an examples of an invalid sentence are considered.
References
More filters
Book
Modal Logic: An Introduction
TL;DR: This chapter discusses standard models for modal logics, classical systems of modal logic, and Determination and decidability for classical systems.
Book
The Art of Loving
Abstract: "The Art of Loving" has helped hundreds of thousands of men and women achieve rich, productive lives by developing their hidden capacities for love. An astonishing frank and candid book renowned psychoanalyst Erich Fromm, it explores the ways in which this extraordinary emotion can alter the course of one's life. Most of us are unable to develop our ability to love on the only level that really counts-a love that is compounded of maturity, self-knowledge, and courage. Learning to love demands practice and concentration. Even more than any other art, it demands genuine insight and understanding. In this startling book, Fromm discusses love in all aspects: not only romantic love, so surrounded by false conceptions, but also love of parents for children, brotherly love, erotic.
Book
First-Order Logic
TL;DR: In this paper, the authors propose a Propositional Logic from the view of Analytic Tableaux, which is based on the Strong Symmetrie Form of the Fundamental Theorem of Quantification Theory.
Book
Proof Methods for Modal and Intuitionistic Logics
TL;DR: In this paper, the authors present a survey of analytical modal tableaus and consistent properties of these modalities, including logical consequence, compactness, interpolation, and other topics.