Filters








51,684 Hits in 2.6 sec

On the Bisimulation Invariant Fragment of Monadic Σ1 in the Finite [chapter]

Anuj Dawar, David Janin
<span title="">2004</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;
We investigate the expressive power of existential monadic second-order logic (monadic Σ1) on finite transition systems.  ...  In particular, we establish a partial expressiveness result by means of tree-like tiling systems that does not hold on infinite structures.  ...  (finite and infinite) systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30538-5_19">doi:10.1007/978-3-540-30538-5_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v5ygznzd5zcprnovcpma4hm3xq">fatcat:v5ygznzd5zcprnovcpma4hm3xq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830005240/http://www.labri.fr/perso/janin/Papiers/fst_tcs_04.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/f4/54/f4542e55a4c18fa0057c42b40306caf567c14371.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-540-30538-5_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 2 of Mathematical Reviews Vol. 21, Issue 1 [page]

<span title="">1960</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;
Lewis, 81, ---, 85, it has been proved that the systems 81 and 82 contain infinitely many modalities and that the systems S83, S84 and S85 contain only a finite number of modalities, the number of which  ...  Such systems constructed are called fundamental finite modal systems. The main results are as follows: We may construct the systems of order 0 and of order 1 readily.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1960-01_21_1/page/2" 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_1960-01_21_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

The Griko Dialect of Salento: Balkan Features and Linguistic Contact (Ca' Foscari University of Venice, 2013)

Valeria Baldissera
<span title="2015-01-01">2015</span> <i title="Brill Academic Publishers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xwrknp7nkfe4zjb53aywff6zcq" style="color: black;">Journal of Greek Linguistics</a> </i> &nbsp;
In this contribution, I offer a summary of my 2013 Ph.D. dissertation from the Ca' Foscari University of Venice on Griko dialect.  ...  and left for a more extensive analysis. I also make available some new linguistic data, which I hope will be useful for future research on Griko (and Greek) syntax.  ...  In particular, I focus on the phenomenon of the 'loss' of Infinitive and on historical changes in the domain of modality. 2.2 Structure of the Thesis and Main Proposals The thesis comprises four parts  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1163/15699846-01502005">doi:10.1163/15699846-01502005</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x67lawhcencjxbrjerxexqzipy">fatcat:x67lawhcencjxbrjerxexqzipy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200214063138/https://brill.com/downloadpdf/journals/jgl/15/2/article-p271_5.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/0d/47/0d47b86b63a935b8ee00cda407aa5117d02badb1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1163/15699846-01502005"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> brill.com </button> </a>

Finite-Trace Linear Temporal Logic: Coinductive Completeness [chapter]

Grigore Roşu
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Linear temporal logic (LTL) is suitable not only for infinite-trace systems, but also for finite-trace systems.  ...  This paper proposes a sound and complete proof system for finite-trace LTL.  ...  In this section we remind some basic notions and notations about propositional and modal logic, as well as a sound and complete proof system for infinite-trace LTL.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-46982-9_21">doi:10.1007/978-3-319-46982-9_21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zrpfkrm6xne33g6sdyja3c4pea">fatcat:zrpfkrm6xne33g6sdyja3c4pea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190220003706/http://pdfs.semanticscholar.org/1cb2/016fed42a1bc8188b55dbedbf1571634420b.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/1c/b2/1cb2016fed42a1bc8188b55dbedbf1571634420b.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-46982-9_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

No Can Do Modal Verbs

Gašper Ilc
<span title="2008-06-16">2008</span> <i title="University of Ljubljana"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jewhbjixjnho3mzpdsncounqea" style="color: black;">ELOPE</a> </i> &nbsp;
The paper presents the systems of modal verbs in Slovene and English, and it focuses on comprehension and usage problems that advanced students of English may have when dealing with modal verb constructions  ...  This is particularly the case when a (narrative) text containing modal verb constructions has a past time reference, and combines different narrative techniques.  ...  Section 3 discusses the differences between the tense systems of English and Slovene with special focus on non-finite verbal forms and modal verb constructions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4312/elope.5.1-2.9-21">doi:10.4312/elope.5.1-2.9-21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rq2jac6uwjd67dmzvk7i3v67ci">fatcat:rq2jac6uwjd67dmzvk7i3v67ci</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427022419/https://revije.ff.uni-lj.si/elope/article/download/3309/3002" 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/d3/d3/d3d30120552ee3729c138d995a4e952081513b0a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4312/elope.5.1-2.9-21"> <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>

Modal MTL-algebras

W. Morton, C.J. van Alten
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wcbukkuh2vbrpcbz2f4z2a2g6u" style="color: black;">Fuzzy sets and systems (Print)</a> </i> &nbsp;
[0, 1], •, →, ∨, ∧, ∼, 0, 1 where ∼ is defined by: for any element e ∈ [0, 1] If C is infinite it must contain at least one of ◮ an infinite descending chain; ◮ an infinite ascending chain.  ...  Modal MTL-algebras Structural properties of modal MTL-algebras The MacNeille completion The finite embeddability property The construction A complete lattice order on the stable sets Lemma The  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.fss.2012.11.008">doi:10.1016/j.fss.2012.11.008</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/khebipfovrby5mq4vufnmdlziu">fatcat:khebipfovrby5mq4vufnmdlziu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809041331/http://www.mathfuzzlog.org/latd2010/slides/vanAlten-Morton.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/66/8b/668b23c512626e63840fae743a8874e0d7accba8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.fss.2012.11.008"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Modal Process Rewrite Systems [chapter]

Nikola Beneš, Jan Křetínský
<span title="">2012</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;
We consider modal transition systems with infinite state space generated by finite sets of rules.  ...  In particular, we extend process rewrite systems to the modal setting and investigate decidability of the modal refinement relation between systems from various subclasses.  ...  Although one is usually interested in generating finite abstractions of infinite systems, it might be interesting to consider situations where the abstract system is infinite.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-32943-2_9">doi:10.1007/978-3-642-32943-2_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cctit65bwbcadctxkuz6l5fvhm">fatcat:cctit65bwbcadctxkuz6l5fvhm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721152823/https://www.fi.muni.cz/reports/files/2012/FIMU-RS-2012-02.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/90/13/9013427ff2d24d1760920768c802417fe191d7eb.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-32943-2_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Aspects of root infinitives

Teun Hoekstra, Nina Hyams
<span title="">1998</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w3dtv5pijzaano7z4qblgomjtq" style="color: black;">Lingua</a> </i> &nbsp;
as on a related aspect of interpretation, viz. that RIs receive modal interpretations.  ...  This paper discusses the phenomenon of root infinitives (RIs) in child language, focussing on a distributional restriction on the verbs that occur in this construction, viz. event-denoting verbs, as well  ...  In the adult system the grammar generally wins out, while in the child's system there is a greater reliance on discourse, and presuppositional information.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0024-3841(98)00030-8">doi:10.1016/s0024-3841(98)00030-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mch7jd7dp5hjfdwugeelxqs5d4">fatcat:mch7jd7dp5hjfdwugeelxqs5d4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060918133832/http://www.linguistics.ucla.edu/people/hyams/papers/HoekstraHyams.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/6d/67/6d674365d9ba930fb02db4ab899507cb302347f8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0024-3841(98)00030-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Dugundji's Theorem Revisited

Marcelo E. Coniglio, Newton M. Peron
<span title="2014-07-19">2014</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gp36pwr6ibegnm5ypnxzsznbia" style="color: black;">Logica Universalis</a> </i> &nbsp;
In 1940 Dugundji proved that no system between S1 and S5 can be characterized by finite matrices.  ...  Two results of incompleteness (for the systems KH and VB) showed that not every modal logic can be characterized by Kripke frames.  ...  by considering some modal logics whose non-modal fragment is not classical, on the other. 2 The Lewis' Systems S1-S5 The system S1, the first one of the five systems of the Lewis' hierarchy, is defined  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11787-014-0106-4">doi:10.1007/s11787-014-0106-4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6nvr4pa3sbe4vnbqwcdaodtoye">fatcat:6nvr4pa3sbe4vnbqwcdaodtoye</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160910195833/http://www.cle.unicamp.br:80/prof/coniglio/Coniglio-Peron(Dugundji).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/05/56/05562cdbc03f54b7e0ced9ac344795f698535e42.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11787-014-0106-4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Model Checking and Satisfiability for Sabotage Modal Logic [chapter]

Christof Löding, Philipp Rohde
<span title="">2003</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 show that, on the other hand, the formula complexity and the program complexity are linear, resp., polynomial time.  ...  Further we show that SML lacks nice model-theoretic properties such as bisimulation invariance, the tree model property, and the finite model property.  ...  Also, it would be nice to have a characteristic notion of bisimulation for SML and to know more about valid principles, e.g. interaction laws between ordinary and sabotage modalities.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-24597-1_26">doi:10.1007/978-3-540-24597-1_26</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ko3yv22t2zcavhs6bknndtgjhi">fatcat:ko3yv22t2zcavhs6bknndtgjhi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070418113408/http://www-i7.informatik.rwth-aachen.de/download/papers/loeding/loro03a.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/8c/f5/8cf512b53414651b8aefdf3b4f75be87bd5c73cb.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-540-24597-1_26"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 3555 of Mathematical Reviews Vol. , Issue 2002E [page]

<span title="">2002</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;
Head characterized the finite fixed points of A, and later, Head and Lando characterized the one-sided in- finite fixed points of h. Our paper has two main results.  ...  on the abstract system.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2002-05_2002e/page/3555" 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_2002-05_2002e/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Logics for Bisimulation and Divergence [chapter]

Xinxin Liu, Tingting Yu, Wenhui Zhang
<span title="">2018</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
logic with a weak possibility modality, and 2. extending HML by refining the weak possibility modality one obtains a logic which characterizes branching bisimilarity, a refinement of weak bisimilarity  ...  , and 3. further extending the logic with a divergence modality one obtains a logic which characterizes branching bisimilarity with explicit divergence, a refinement of branching bisimilarity.  ...  and model checking problems respectively for finite-state systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-89366-2_12">doi:10.1007/978-3-319-89366-2_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xaqvn53qyvdpvecuyssb2srrsq">fatcat:xaqvn53qyvdpvecuyssb2srrsq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430213837/https://link.springer.com/content/pdf/10.1007%2F978-3-319-89366-2_12.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/ec/7f/ec7f5db34b61c69b0de3f26c6d25469fd7ace2b0.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-89366-2_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Exponentially stabilizing finite-dimensional controllers for linear distributed parameter systems: Galerkin approximation of infinite dimensional controllers

Mark J Balas
<span title="">1986</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7a65khxirfbfljbnqng5zzeslu" style="color: black;">Journal of Mathematical Analysis and Applications</a> </i> &nbsp;
The indirect approach is shown to converge to the stable closed-loop system consisting of DPS and infinite-dimensional controller; conditions are presented on the behavior of the Galerkin method for the  ...  The Galerkin method is presented as a way to develop finite-dimensional controllers for linear distributed parameter systems (DPS).  ...  the stable closed-loop system with the infinite-dimensional controller.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0022-247x(86)90230-1">doi:10.1016/0022-247x(86)90230-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jpel7cnlxzeqhebijtavhwmmda">fatcat:jpel7cnlxzeqhebijtavhwmmda</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190419072431/https://core.ac.uk/download/pdf/82096932.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/f4/cc/f4ccf928d279792240e9c6bb12986443ac69dc87.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0022-247x(86)90230-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Page 757 of Mathematical Reviews Vol. 28, Issue 5 [page]

<span title="">1964</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;
This note gives a proof that the modal calculi $4.2 and 8 4.3, introduced by Dummett and the reviewer, possess the finite modal property in the sense of Harrop. Algebraic methods are used.  ...  The paper closes with discussion of the relation between implication and negation, and contraposition. E. J. Cogan (Bronxville, N.Y.) Bull, R. A. 3922 A note on the modal calculi § 4.2 and § 4.3. Z.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1964-11_28_5/page/757" 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_1964-11_28_5/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Modal Logics for Nominal Transition Systems

Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber, Marc Herbstritt
<span title="2015-08-25">2015</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/iv4yo5vao5ctfjfushi4akt5xi" style="color: black;">International Conference on Concurrency Theory</a> </i> &nbsp;
A Hennessy-Milner logic for these systems is introduced, and proved adequate for bisimulation equivalence. A main novelty is the use of finitely supported infinite conjunctions.  ...  We show how to treat different bisimulation variants such as early, late and open in a systematic way, and make substantial comparisons with related work.  ...  We thank Andrew Pitts for enlightening discussions on nominal datatypes with infinitary constructors, and Dmitriy Traytel for providing a formalization of cardinality-bounded sets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.concur.2015.198">doi:10.4230/lipics.concur.2015.198</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/concur/ParrowBEGW15.html">dblp:conf/concur/ParrowBEGW15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ivmtvgmqsjgodef3gqcqmt6rzy">fatcat:ivmtvgmqsjgodef3gqcqmt6rzy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220121202322/https://drops.dagstuhl.de/opus/volltexte/2015/5382/pdf/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/cb/8a/cb8a19ede23a67038e29c3520e541863278b23b9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.concur.2015.198"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 51,684 results