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 Kwartalnik Filozoficzny

Years help

  1. 1 2015

Authors help

  1. 1 Kozanecka-Dymek A.

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  FORMALIZATION OF SENTENCES OF LEGAL LANGUAGE
help Sort By:

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

Stosowalność niektórych rozszerzeń tense logic w logicznej analizie rozumowań prawniczych

100%
Kozanecka-Dymek A.
Kwartalnik Filozoficzny
|
2015
|
vol. 43
|
issue 2
EN
The paper considers possible applications of some extensions of tense logic in the logical analysis of legal reasoning. At the beginning of the article it is pointed out that the time element plays an important role in the legal sciences. Then conditions are given that must be imposed on temporal systems which can be applied in these sciences. The next parts of the paper contain: a brief characterization of metric tense logic, a characterization of tense logic with the operators Since and Until, and examples of the formalization of sentences of legal language by means of symbols occurring in these logics. The standpoint presented claims that adequate temporal systems, which are extensions of tense logic, can provide a language to formalize sentences of legal language that contain specific time expressions and to model inferences consisting of such sentences conducted in the legal sciences. Appropriate systems would also provide tools to check the formal correctness of these reasonings.
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.