A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Logics for Legal Dynamics
[chapter]
2015
Logic in the Theory and Practice of Lawmaking
Preserved Fulltext
In this contribution we propose Temporal Defeasible Logic to model legal dynamics. ...
Legal dynamics is an important aspect of legal reasoning that inspired the area of belief revision. ...
For this reason, it is perhaps suitable to capture the dynamics of obligations and permissions, not of legal norms. ...
doi:10.1007/978-3-319-19575-9_12
fatcat:oko3zyfde5dqfkovfo5vzijls4
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In particular, we define the concepts of 'legally seeing to it that' and 'illegally seeing to it that'. We prove that the decidability result for DL-PC transfers to DL-PC Leg . ...
In this article, we propose a Dynamic Logic of Propositional Control DL-PC in which the concept of 'seeing to it that' (abbreviated stit) as studied by Belnap, Horty and others can be expressed; more precisely ...
We would like to thank the reviewers of DEON 2012 for their careful reading of the paper and their detailed suggestions. ...
doi:10.1007/978-3-642-31570-1_12
fatcat:5dj6l7ngr5glbpl2blsx4n45dq
The Logical Analysis of Law as a Bridge between Legal Philosophical Traditions
2016
Jurisprudence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Within the legal dynamics, Rodriguez and Navarro explore logical consequences using the Argentinean legal order to exemplify. ...
Once again the authors decide to follow Alchourrón and Bulygin when presenting the two approaches for legal dynamics in Section 6.3. ...
doi:10.1080/20403313.2016.1237579
fatcat:zo2dsyru2rhipcrvct2iku35xe
Dynamic Logic of Legal Competences
2021
Journal of Logic, Language and Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2110.04454v1 fatcat:ohmw6k4esrdglkaa2mudt55s2m
We propose a new formalization of legal competences, and in particular for the Hohfeldian categories of power and immunity, through a deontic reinterpretation of dynamic epistemic logic. ...
The logic is completely axiomatizable, and we apply it to a concrete case in German contract law to illustrate that it can capture the distinction between legal ability and legal permissibility. ...
Second, as we will see below, this clear static-dynamic distinction allows for a natural distinction between legal ability and legal permissibility. ...
doi:10.1007/s10849-021-09340-z
fatcat:kyhclcnekna3hkd5huxxlxjnru
Abstract specification of legal contracts
2009
Proceedings of the 12th International Conference on Artificial Intelligence and Law - ICAIL '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
CL combines the legal notions obligation, permission, and prohibition from deontic logic with the action modality of propositional dynamic logic (PDL). ...
The paper presents an action-based formal language called CL for abstract specification of legal contracts. ...
THE CONTRACT LANGUAGE CL is an action-based logic for specifying electronic and legal contracts with model theoretic semantics in terms of normative structures. ...
doi:10.1145/1568234.1568262
dblp:conf/icail/PrisacariuS09
fatcat:i37ws3vsxrbjtbp5xr6v7no7ju
A Model of Legal Acts: Part 1: The World of Law
2011
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
The focus in the first part is on static and dynamic legal rules and their interplay in constituting the world of law Keywords legal acts; dynamic legal rules; static legal rules; counts as rules; doctrinal ...
of a logical language. ...
The reasons for not choosing a nonmonotonic logic are first that the theory of legal acts presupposes a reified view of the world of law, instead of legal constructivism, while defeasible reasoning fits ...
doi:10.2139/ssrn.1788951
fatcat:xwloq6uybbhztfvxivrwsdxwky
A lattice-based framework for the classification and design of asynchronous pipelines
2005
Proceedings of the 42nd annual conference on Design automation - DAC '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
To the best of our knowledge, this is the first formal framework for asynchronous pipelines which can capture protocols from a variety of logic style families, including both dynamic and static. ...
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. ...
Stephen Edwards and Luca Carloni of Columbia University for helpful comments. ...
doi:10.1145/1065579.1065707
dblp:conf/dac/McGeeN05
fatcat:2fkzp63mznedrdo2y3ivoj4q6a
A lattice-based framework for the classification and design of asynchronous pipelines
2005
Proceedings. 42nd Design Automation Conference, 2005.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
To the best of our knowledge, this is the first formal framework for asynchronous pipelines which can capture protocols from a variety of logic style families, including both dynamic and static. ...
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. ...
Stephen Edwards and Luca Carloni of Columbia University for helpful comments. ...
doi:10.1109/dac.2005.193859
fatcat:7fovbn44wfdd3evqb6dlj2n3y4
What Is Wrong about Perelman - Toulmin's Opposition between Legal Reasoning and Logic ?
2014
المخاطبات
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
For other books see Redmond (2010)on fiction and dialogic -Fontaine (2013)on intentionality, fiction and dialoguesand Magnier (2013)on dynamic epistemic logic van Ditmarsch et al. (2007) and legal reasoning ...
by furnishing a dynamic theory of meaning. ...
doi:10.12816/0020426
fatcat:yoqhieeop5h6vhwlcd5hh7qpta
How deontic logic contributes to the analysis of legal systems
2016
Revus
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Legal Systems and Legal Validity; 5. Legal Indeterminacy: Normative Gaps and Conlicts of Norms; 6. Legal Dynamics. ...
This observation is not intended to underestimate the authors' treatment of legal validity, gaps and conlicts in legal systems or legal dynamics, because they are interesting and inspiring. ...
doi:10.4000/revus.3518
fatcat:v6gzzl5corb5xmipebnpd5uqju
Political praxis, social analysis and western modernization: a theoretical-political route for critical social theory
2020
Griot: Revista de Filosofia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Now, such politicity-carnality must be unveiled and used for an emancipatory democratic political praxis as the route for social analysis and political change, in opposition to the technical-logical understanding ...
The more impactful characteristic of institutionalism is its technical-logical structuring, based on an impartial, neutral and formal proceduralism that autonomizes social systems in relation to political ...
final decision is a question and a praxis for institutional subjects from institutional dynamics, procedures and codes. ...
doi:10.31977/grirfi.v20i2.1475
fatcat:uzlcqcjl5jckzggkaa2ssxnc5q
Page 809 of Harvard Law Review Vol. 31, Issue 5
[page]
1918
Harvard Law Review
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
He claims to be “substituting for the purely logical a dynamic or psychological point of view” (page 358), and, in doing so, to be in line with a reform movement in the science of logic, as the leaders ...
Ehrlich, after a vehement outburst against “legal technicalism” as “nothing less than the sin against the Holy Ghost” (page 65), declares that ‘‘a legal rule must be treated not like a rigid dogma but ...
On the Optimized Utilization of Smart Contracts in DLTs from the Perspective of Legal Representation and Legal Reasoning
2019
International Conference on Legal Knowledge and Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This research project has three purposes: the first aims at the resolution of these problems from logic and technical perspective, exploring a more novel and advanced logic-based language to represent ...
existing technologies like Akoma Ntoso and Legal-RuleML, making the legal knowledge and reasoning machine-readable and be linked with the real world; third, to investigate the implementation a mature ...
Starting points for this investigation will be [25] , which analyses (logic-based) languages for handling the connection between legal contracts and smart contracts, and [26] , which presents a novel ...
dblp:conf/jurix/Yu19
fatcat:fwhpz3bkybc73bsvzvdnhbsrqm
Action and Procedure in Reasoning
[chapter]
2002
Studies in Fuzziness and Soft Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This dynamic turn has noticeable influences on logical theory and practice, which makes traditional comparisons with legal reasoning less conclusive. (Note 1.) ...
Games as a model for many-agent logical dynamics A desire to improve one's skills in winning arguments and debates is a motivation for many students of logic (whether well-founded or not…), and it has ...
doi:10.1007/978-3-7908-1792-8_12
fatcat:rrfuqz4cm5a5fe6gq3fxwl43aq
From Permissions to Obligations and Beyond: An Editorial
2019
Studia Logica: An International Journal for Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Deontic logic, viz. the logical study of obligations and permissions, has long been concerned with the relation between permissions and obligations. ...
These questions where the inspiration behind the 3-years PIOtR (for Permissions, Information and Institutional Dynamics, Obligations, and Rights) research project, jointly supported by the Polish (NCN) ...
logic. ...
doi:10.1007/s11225-019-09881-2
fatcat:lctviixvxbclze77pc5qgqfuha
« Previous
Showing results 1 — 15 out of 230,931 results