Filters








230,931 Hits in 3.1 sec

Logics for Legal Dynamics [chapter]

Guido Governatori, Antonino Rotolo
2015 Logic in the Theory and Practice of Lawmaking  
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]

Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
2012 Lecture Notes in Computer Science  
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

Jorge Emilio Núñez
2016 Jurisprudence  
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

Huimin Dong, Olivier Roy
2021 Journal of Logic, Language and Information  
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

Cristian Prisacariu, Gerardo Schneider
2009 Proceedings of the 12th International Conference on Artificial Intelligence and Law - ICAIL '09  
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

Jaap Hage
2011 Social Science Research Network  
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

Peggy B. McGee, Steven M. Nowick
2005 Proceedings of the 42nd annual conference on Design automation - DAC '05  
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

P.B. McGee, S.M. Nowick
2005 Proceedings. 42nd Design Automation Conference, 2005.  
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 ?

Shahid Rahman
2014 المخاطبات  
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

Jan Woleński
2016 Revus  
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

Leno Francisco Danner, Fernando Danner
2020 Griot: Revista de Filosofia  
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  
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

Liuwen Yu
2019 International Conference on Legal Knowledge and Information Systems  
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]

Johan van Benthem
2002 Studies in Fuzziness and Soft Computing  
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

P. Kulicki, O. Roy
2019 Studia Logica: An International Journal for Symbolic Logic  
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