Filters








72,486 Hits in 5.2 sec

Logic between Expressivity and Complexity [chapter]

Johan van Benthem
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
I will discuss some key issues. This text is just an appetizer that will be elaborated in the lecture.  ...  Automated deduction is not just application or implementation of logical systems. The field of computational logic also poses deep challenges to our understanding of logic itself.  ...  What is the complexity for modal logics of action and preference in games for players that satisfy the usual assumption of Rationality? Issue for reflection: What do these results mean?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-14203-1_10">doi:10.1007/978-3-642-14203-1_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jvshiaftbja3hpd53lkrz5p3zi">fatcat:jvshiaftbja3hpd53lkrz5p3zi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922000004/http://www.illc.uva.nl/Research/Publications/Reports/PP-2011-25.text.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9f/8d/9f8d486c5bd9d94732a08e8c4731145c6a49f62e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-14203-1_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)

Nils Bulling, Valentin Goranko
<span title="2013-03-01">2013</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
We enrich concurrent game models with payoffs for the normal form games associated with the states of the model and propose a quantitative extension of the logic ATL* enabling the combination of quantitative  ...  We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences on outcomes with a logical  ...  Acknowledgements: We thank the anonymous referees for detailed and helpful comments and additional references.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.112.8">doi:10.4204/eptcs.112.8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hpx5eqshsnditohhw5d6eaf6x4">fatcat:hpx5eqshsnditohhw5d6eaf6x4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719064806/http://orbit.dtu.dk/files/97169853/1303.0789v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/02/da0253562d6bd491dbdb160d5a41b34e4f6fa8f4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.112.8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Crs and Guarded Logics: A Fruitful Contact [chapter]

Johan Van Benthem
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> Bolyai Society Mathematical Studies </i> &nbsp;
This chapter is about a more specialized contact: the flow of ideas between algebra and modal logic through 'guarded fragments' restricting the range of quantification over objects.  ...  For a start, the connection between algebra and model theory is rather tight, since we can view universal algebra as the equational logic part of standard first-order model theory.  ...  But then its undecidability raises an issue, since basic action does not seem to involve high complexity.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35025-2_13">doi:10.1007/978-3-642-35025-2_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5mgqa6ctxvetblxduy6rgup77e">fatcat:5mgqa6ctxvetblxduy6rgup77e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090709145112/http://www.illc.uva.nl/Publications/ResearchReports/PP-2009-08.text.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bf/a3/bfa35eb3ead710a7b853e0f5a800ab318fd67d9a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35025-2_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Husband and Wife: No Right of Action by Wife for Loss of Consortium

<span title="">1913</span> <i title="University of Michigan Department of Law"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xphnijab6nhqbforbxax255ibe" style="color: black;">Michigan law review</a> </i> &nbsp;
HUSBAND AND WIFE-NO RIGHT OF ACTION BY WIFE FOR LOSS OF CON- SORTIUM.  ...  HUSBAND AND WIFE-NO RIGHT OF ACTION BY WIFE FOR LOSS OF CON- SORTIUM.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2307/1274781">doi:10.2307/1274781</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sj62bfvxljbdxcyh3qj6wcqdim">fatcat:sj62bfvxljbdxcyh3qj6wcqdim</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/jstor-1274781/1274781.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2307/1274781"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> jstor.org </button> </a>

Foreword to special issue: The difference between concurrent and sequential computation

LUCA ACETO, GIUSEPPE LONGO, BJÖRN VICTOR
<span title="">2003</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jdpukxfslnfmradqb65llq43na" style="color: black;">Mathematical Structures in Computer Science</a> </i> &nbsp;
Using two different encodings, they show that the solos calculus can express both action prefix and guarded summation, even when actions carry at most two names.  ...  It is, however, an open problem whether weak bisimilarity is decidable for Basic Process Algebra and Basic Parallel Processes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s096012950300402x">doi:10.1017/s096012950300402x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lhtg3vw4prerfh5opup7a3wsue">fatcat:lhtg3vw4prerfh5opup7a3wsue</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502224512/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/728462984677736DCF24E476718E8B7A/S096012950300402Xa.pdf/div-class-title-foreword-to-special-issue-the-difference-between-concurrent-and-sequential-computation-including-selected-papers-from-express-00-7th-international-workshop-on-expressiveness-in-concurrency-div.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/39/f9/39f9d2b9b8870267218bc6e78937c952f533793c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s096012950300402x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Temporal patterns and modal structure

J van Benthem
<span title="1999-01-01">1999</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mwzmwwmscfe4vnzrjlt5itd2ju" style="color: black;">Logic Journal of the IGPL</a> </i> &nbsp;
Van Benthem 1983 ("The Logic of Time") tries to systematize temporal logic across these various motivations, even taking up issues in relativistic physical space-time.  ...  back-and-forth clauses for  ...  Nevertheless, important issues remain concerning natural language in a broader context of reasoning and action.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jigpal/7.1.7">doi:10.1093/jigpal/7.1.7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cjkmqmzoyvh3zl7lw2s7jzpclu">fatcat:cjkmqmzoyvh3zl7lw2s7jzpclu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190227184810/http://pdfs.semanticscholar.org/8506/376fcd1fbdd14b8652ec11b8e7f1089b2970.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/85/06/8506376fcd1fbdd14b8652ec11b8e7f1089b2970.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/jigpal/7.1.7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

Shaping migration at the border: the entangled rationalities of border control practices

Christin Achermann
<span title="2021-02-18">2021</span> <i title="Springer (Biomed Central Ltd.)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/copqoe6rvfbphmnr7ihthnbqha" style="color: black;">Comparative Migration Studies</a> </i> &nbsp;
Combining organisational and structuration theory with a street-level bureaucracy perspective allows for a differentiated analysis of the various facets of border guards' everyday work.  ...  I argue that, by considering both the specific goals and imperatives of border control and the characteristics of street-level bureaucrats acting within a state organisation, these entangled logics explain  ...  I also thank the SBG for granting access for fieldwork and Jana Häberlein for collecting the data. Author's contributions This article has been written solely by the author.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/s40878-020-00214-0">doi:10.1186/s40878-020-00214-0</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/33619453">pmid:33619453</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC7890786/">pmcid:PMC7890786</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lhnqfzt74zazhgbm3yxdzthsn4">fatcat:lhnqfzt74zazhgbm3yxdzthsn4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210225012945/http://europepmc.org/backend/ptpmcrender.fcgi?accid=PMC7890786&amp;blobtype=pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fb/74/fb745f8df243598f35e34f8dc5f53ace58e19aea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/s40878-020-00214-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7890786" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

The mu-calculus and Model Checking [chapter]

Julian Bradfield, Igor Walukiewicz
<span title="">2018</span> <i title="Springer International Publishing"> Handbook of Model Checking </i> &nbsp;
It also presents two extensions of the mu-calculus that allow us to address issues such as inverse modalities.  ...  Finally, the chapter discusses the relations of the mu-calculus to monadic second-order logic as well as to some program and temporal logics.  ...  Recall that the satisfiability problem for first-order logic over transition systems is undecidable. But it is decidable for the modal fragment since it is decidable for modal logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-10575-8_26">doi:10.1007/978-3-319-10575-8_26</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7adhegoggvcjthaa5x5uhfpt24">fatcat:7adhegoggvcjthaa5x5uhfpt24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830052548/http://www.labri.fr/perso/igw/Papers/igw-mu.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f7/94/f7947dc6b1cae464b8b507746c6d1b0cfc6be384.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-10575-8_26"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements [chapter]

Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
We analyse the ambiguities and issues that arise when requirements expressed in natural language are transformed into a formal notation, and propose solutions to address these issues.  ...  We focus on requirements for consent and revocation controls in a real world case study that has emerged within the EnCoRe project.  ...  Furthermore, in the Hoare logic the conditions that guard each action are not expressed.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-20769-3_22">doi:10.1007/978-3-642-20769-3_22</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/weifthh2qrbh7ogtzf5ijfzycu">fatcat:weifthh2qrbh7ogtzf5ijfzycu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180728201948/https://link.springer.com/content/pdf/10.1007%2F978-3-642-20769-3_22.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f9/4c/f94c10c901355f0f69dd8256c24cda4f6f8bc9bc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-20769-3_22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 4635 of Mathematical Reviews Vol. , Issue 2003f [page]

<span title="">2003</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
where tokens, like guards, are formulas of some arbitrary fragments of the linear logic), and nested or object nets (where to- kens are themselves nets or net processes); some decidability issues are then  ...  As a consequence, reach- ability, deadlock freeness, liveness, and model checking for linear time w-calculus are decidable.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2003-06_2003f/page/4635" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2003-06_2003f/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

The Complexity of Boundedness for Guarded Logics

Michael Benedikt, Balder Ten Cate, Thomas Colcombet, Michael Vanden Boom
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cnybbxuptncftdgxtodn5edz7m" style="color: black;">2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science</a> </i> &nbsp;
Our proof extends the connection between guarded logics and automata, reducing boundedness for guarded logics to a question about cost automata on trees, a type of automaton with counters that assigns  ...  We prove that boundedness for the guarded negation fragment is decidable in elementary time, and, making use of an unpublished result of Colcombet, even 2EXPTIME-complete.  ...  Hence, a finer analysis is needed to show an elementary bound for guarded logics over arbitrary structures. In this work we return to the issue of boundedness of guarded logics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics.2015.36">doi:10.1109/lics.2015.36</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/lics/BenediktCCB15.html">dblp:conf/lics/BenediktCCB15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dfty4xxupfgnzb4wjmt3rz4ys4">fatcat:dfty4xxupfgnzb4wjmt3rz4ys4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830054616/http://www.cs.ox.ac.uk/people/michael.vandenboom/papers/LICS15-gnfpb-long.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ef/79/ef79305d8bc299a24dcdb1350d54d1a7ded12248.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics.2015.36"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Verification of Artifact-Centric Systems: Decidability and Modeling Issues [article]

Dmitry Solomakhin and Marco Montali and Sergio Tessaris and Riccardo De Masellis
<span title="2013-04-05">2013</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We exploit this translation to isolate an interesting class of state-bounded GSM models for which verification of sophisticated temporal properties is decidable.  ...  The recent Guard-State-Milestone (GSM) approach provides means for specifying business artifacts lifecycles in a declarative manner, using constructs that match how executive-level stakeholders think about  ...  This is represented using a logical condition associated to a guard (diamond).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1304.1697v1">arXiv:1304.1697v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h6p6h6mbjvekhlgl54ewhhyffm">fatcat:h6p6h6mbjvekhlgl54ewhhyffm</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1304.1697/1304.1697.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1304.1697v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

The Freedoms of (Guarded) Bisimulation [chapter]

Erich Grädel, Martin Otto
<span title="">2014</span> <i title="Springer International Publishing"> Outstanding Contributions to Logic </i> &nbsp;
logics and of more and more powerful variants of guarded logics.  ...  Since satisfiable formulae always admit simple models, for instance tree-like ones, and since modal and guarded logics can be embedded or interpreted in monadic second-order logic on trees, powerful automata  ...  Results to be surveyed include finite and small model properties, decidability results, complexity and expressive completeness issues.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-06025-5_1">doi:10.1007/978-3-319-06025-5_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mi4q4wbo65fepnxvrbrafxcwxu">fatcat:mi4q4wbo65fepnxvrbrafxcwxu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706033244/https://logic.rwth-aachen.de/pub/graedel/FreedomBisimulation.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/aa/1a/aa1a4865ef53135756da5e1f7ad970e9864592e4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-06025-5_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Safety and reliability analysis methods based on systemic-structural activity theory

Gregory Z Bedny, Steven R Harris
<span title="2013-05-02">2013</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oiz6somzyjfkjotuwrd5okp5ua" style="color: black;">Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability</a> </i> &nbsp;
SSAT methods of algorithmic, time-structure and complexity analysis incorporating the use of the MTM-1 system to describe motor actions are demonstrated and discussed using the example of a small-serial  ...  SSAT understands human activity during task performance as a structured system of mental and motor actions and operations in which cognition, behavior and motivation are integrated by self-regulation mechanisms  ...  If O ε 2 is not performed decide to use leg control (perform O ε 6 ) even when protection guard is removed 2 (1) O ε 5 Turn on the press with two-handed control when protection guard is removed and go  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/1748006x13485563">doi:10.1177/1748006x13485563</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ux64zowhmjaodhptlno5vhzs7u">fatcat:ux64zowhmjaodhptlno5vhzs7u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160820153032/http://www.coedglas.org.uk/PDFs/SRHPubs/Bedny&amp;Harris_SafetyMethods.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b2/95/b29532c921fe268e919cc129d6479b9c40c35cee.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/1748006x13485563"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> sagepub.com </button> </a>

Caper [chapter]

Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal
<span title="">2017</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper, we present Caper, a prototype tool for automated reasoning in such a logic.  ...  Recent program logics based on separation logic emphasise a modular approach to proving functional correctness for fine-grained concurrent programs. However, these logics have no automation support.  ...  This research was supported by the "ModuRes" Sapere Aude Advanced Grant from The Danish Council for Independent Research for the Natural Sciences (FNU), the "Automated Verification for Concurrent Programs  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-54434-1_16">doi:10.1007/978-3-662-54434-1_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hibvso2zv5hhdit2lufgiienpa">fatcat:hibvso2zv5hhdit2lufgiienpa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222181022/http://pdfs.semanticscholar.org/3892/67b63feeec7059bb03029e71429a79d17163.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/38/92/389267b63feeec7059bb03029e71429a79d17163.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-54434-1_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 72,486 results