33 Hits in 5.6 sec

Formalizing a Seligman-Style Tableau System for Hybrid Logic [chapter]

Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen
2020 Lecture Notes in Computer Science  
Hybrid logic is modal logic enriched with names for worlds. We formalize soundness and completeness proofs for a Seligman-style tableau system for hybrid logic in the proof assistant Isabelle/HOL.  ...  Moreover, the completeness proof we formalize is synthetic which suggests we can extend this work to prove a wider range of results about hybrid logic.  ...  A Seligman-Style Tableau System Many proof systems for hybrid logic exist; see Blackburn et al. [5] for discussion.  ... 
doi:10.1007/978-3-030-51074-9_27 fatcat:klxbbkjmwzhh7kfxm365meu4ai

A Seligman-Style Tableau System [chapter]

Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
2013 Lecture Notes in Computer Science  
The purpose of this paper is to introduce a Seligman-style tableau system.  ...  for hybrid logic.  ...  The main purpose of this paper is to explore this proof-style in the setting of tableau-based reasoning for hybrid logic.  ... 
doi:10.1007/978-3-642-45221-5_11 fatcat:e7w3fkiv5jao7h2ouzlryp5mfm

Completeness and termination for a Seligman-style tableau system

Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen
2015 Journal of Logic and Computation  
We first develop a Seligman-style tableau system for basic hybrid logic and prove its completeness.  ...  The purpose of this paper is to introduce a Seligman-style tableau system, to prove its completeness, and to show how it can be made to terminate.  ...  The Seligman-style Tableau Calculus ST We work with a basic hybrid language built over a countable set of propositional symbols, a countable set of nominals, the propositional connectives ¬ and ∧, the  ... 
doi:10.1093/logcom/exv052 fatcat:rnuvjmur35acjgalrpkth4fdue

Representation, reasoning, and relational structures: a hybrid logic manifesto

P Blackburn
2000 Logic Journal of the IGPL  
This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad.  ...  In essence, modal logic is a simple formalism for working with relational structures (or multigraphs).  ...  Acknowledgments In writing this paper I have tried to remain faithful to the spirit of my M4M talk, which means I have drawn on many discussions of modal logic, relational structures, hybrid logic, and  ... 
doi:10.1093/jigpal/8.3.339 fatcat:knzw6fq32bhd3dwhpkleufrm6y

Modal Hybrid Logic

Andrzej Indrzejczak
2007 Logic and Logical Philosophy  
The second part is devoted to thorough exposition of proof methods for hybrid logics.  ...  It contains a survey of modal hybrid logic, one of the branches of contemporary modal logic.  ...  The first system is an extension of Fitch-style ND-system for ordinary modal logic to hybrid logic by addition of new rules.  ... 
doi:10.12775/llp.2007.006 fatcat:emmg3cw7nfgepckawq634p7lky

Bringing them all Together

C. Areces
2001 Journal of Logic and Computation  
Finally, we'd like to thank Dov Gabbay for letting us put this special issue together.  ...  Acknowledgements First of all we want to thank our anonymous reviewers for their helpful and often very detailed comments.  ...  In short: we can carry out tableau proofs by constructing a modal theory of state succession.  ... 
doi:10.1093/logcom/11.5.657 fatcat:vaqismzq2zas7pqssvyepaht6m

Hybrid languages and temporal logic

P Blackburn
1999 Logic Journal of the IGPL  
In our view this has deprived temporal logic of a valuable tool. The aim of the paper is to explain why hybridization is useful in temporal logic.  ...  Hybridization is a method invented by Arthur Prior for extending the expressive power of modal languages.  ...  De nition 15 (Standard models and assignments) Let ML + # + @ + + be a hybrid language built over PROP, SVAR, NOM, PVAR and PNOM.  ... 
doi:10.1093/jigpal/7.1.27 fatcat:ik4rdidzozhntk2fyvhw4khvye

Synthetic Completeness for a Terminating Seligman-Style Tableau System

Asta Halkjær From, Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch
Hybrid logic extends modal logic with nominals that name worlds. Seligman-style tableau systems for hybrid logic divide branches into blocks named by nominals to achieve a local proof style.  ...  We present a Seligman-style tableau system with a formalization in the proof assistant Isabelle/HOL.  ...  We also want to explore extensions to the logic and investigate a Seligman-style system for intuitionistic hybrid logic. Figure 1 1 Figure 1 Internalized and Seligman-style tableau branches.  ... 
doi:10.4230/lipics.types.2020.5 fatcat:5rufwgyngvdabmdn7z42dqu7oq

Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism [chapter]

Markus Werning
2003 Foundations of the Formal Sciences II  
of neurons, (ii) that the isomorphism, in a strong sense, preserves the constituent relations of the conceptual algebra, and (iii) that the isomorphism transfers semantic compositionality.  ...  It is argued (i) that an algebra of propositions and concepts for objects and properties is isomorphic to an algebra of brain states, neuronal oscillations and sets of oscillations related to clusters  ...  .), Substructural logics, Papers from the Seminar on Systems of Natural Languages held at the University of Tübingen, Tübingen, October 7-8, 1990, Oxford 1993 å S tudies in Logic and Computation  ... 
doi:10.1007/978-94-017-0395-6_19 fatcat:cq3yvlljbfh4jksf7sd4zm2tf4

LIPIcs, Volume 188, TYPES 2020, Complete Volume [article]

Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch
anonymous reviewers for comments on the paper.  ...  Acknowledgements We thank all the participants of the JSPS-CNRS bilateral program "FoRmal tools for IoT sEcurity" (PRC2199) for fruitful discussions. We also thank Takafumi Saikawa for his comments.  ...  Figure 2 Our Seligman-style tableau system ST A .  ... 
doi:10.4230/lipics.types.2020 fatcat:qlbs2felejcvrfgqts3g7iyaqy

Agent-Based Ontology Mapping Towards Ontology Interoperability [chapter]

Li Li, Yun Yang, Baolin Wu
2005 Lecture Notes in Computer Science  
Hence, techniques for managing ontology come to the centre of any practical and general solution of knowledge-based systems.  ...  Challenges arise when we look a step further in order to achieve flexibility and scalability of the ontology management.  ...  Shipment (Sh for short).  ... 
doi:10.1007/11589990_93 fatcat:3oecb5jswnahvnionv62yplhqm

Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen [article]

Thomas Piecha, Peter Schroeder-Heister, Universitätsbibliothek Tübingen, Universitätsbibliothek Tübingen
view, logics of conditionals, proof systems, structure of assumption-based proofs, hypotheses in proof-theoretic semantics, notions of implication, substructural logics, hypotheses in categorial logic  ...  Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of science and mathematics.  ...  calculi, we prove that the derivations normalize; while, as for the sequent calculi, we prove they are contraction-free, weakening-free and cut-free and that their logical rules are all invertible.  ... 
doi:10.15496/publikation-415 fatcat:6dczl7znujbiphltjn55uant6i

Competitive Moves: The Influence of Industry Context and Individual Cognitive Factors

Lee J. Zane, William Kline
2017 Entrepreneurship Research Journal  
We conducted a two-by-two within-subjects design experiment to test our hypotheses with a sample consisting of service industry professionals.  ...  While real options logic has been used to explain market entry and exit decisions under uncertainty, few have tied this logic to the characteristics of ventures' competitive moves.  ...  This allows for practical, ground-up, peopleoriented theories that relate in a direct way to their subject matter.  ... 
doi:10.1515/erj-2015-0037 fatcat:7tsosyzt6ffuhjmikxxmsmyc7i

Wassily Leontief and the Discovery of the Input-Output Approach

Olav Bjerkholt
2016 Social Science Research Network  
After eight years at Harvard Leontief had a sabbatical year in 1940/41. He had been awarded a Guggenheim fellowship allowing him to travel. His plan was spend the first  ...  But he didn't use it verbatim but for unknown (and hardly very convincing) reasons changed it to The Structure of American Economy.  ...  Instead of the last part of the paper I have therefore written a short section pointing out the true connections between the assumptions.  ... 
doi:10.2139/ssrn.2884686 fatcat:etotouhxnzgtnjwxx5fqz7leta

Proceedings from the 12th Annual Conference on the Science of Dissemination and Implementation

2020 Implementation Science  
In this twelfth iteration of the conference, the two-and-a-half-day agenda included a keynote speaker, three plenary panels, concurrent paper sessions, and hundreds of posters, all touching upon the conference  ...  We were able to bolster attendance from low and middle income countries by planning in advance, advertising, and offering a number of travel scholarships for the first time this year, thanks to Academy-Health  ...  For this paper, we focused on the theme of staff buy-in.  ... 
doi:10.1186/s13012-020-00985-1 pmid:32384899 fatcat:set54khjcbgfjcull3oy5xv7hi
« Previous Showing results 1 — 15 out of 33 results