Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Years help

  1. 1 2015

Authors help

  1. 1 Rönnedal D.

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  Graham Priest
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Quantified temporal alethic-deontic logic

100%
Rönnedal D.
Logic and Logical Philosophy
|
2015
|
vol. 24
|
issue 1
19–59
EN
The purpose of this paper is to describe a set of quantified temporal alethic-deontic systems, i.e., systems that combine temporal alethicdeontic logic with predicate logic. We consider three basic kinds of systems: constant, variable and constant and variable domain systems. These systems can be augmented by either necessary or contingent identity, and every system that includes identity can be combined with descriptors. All logics are described both semantically and proof theoretically. We use a kind of possible world semantics, inspired by the so-called T × W semantics, to characterize them semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect to their semantics.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.