Logic Journal of the IGPL 13 (1):29-46 (2005)
| Abstract |
We consider a paradigm of applications of Logic Engineering to illustrate the information interchange among different areas of knowledge, through the formal approach to some aspects of computing. We apply the paradigm to the area of distributed systems, taking the demand for specification formalisms, treated in three areas of knowledge: modal logics, first-order logic and algebra. In doing so, we obtain transfer of intuitions and results, establishing that, as far as input/output representation is concerned, these three formalisms are equivalent
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1093/jigpal/jzi003 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
On Fork Arrow Logic and its Expressive Power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Many-Dimensional Modal Logics: Theory and Applications.Dov M. Gabbay (ed.) - 2003 - Elsevier North Holland.
On Vague Notions and Modalities: A Modular Approach.Paulo Veloso, Sheila Veloso, Petrúcio Viana, Renata de Freitas & Mario Benevides - 2010 - Logic Journal of the IGPL 18 (3):381-402.
Squares in Fork Arrow Logic.Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343 - 355.
Some Problems in the Logic of Scientific Knowledge.P. V. Tavanets & V. S. Shvyrev - 1962 - Russian Studies in Philosophy 1 (3):33-41.
A Meta-Interpreter Based on Paraconsistent Legal Knowledge Engineering.Jair Minoro Abe & Leonardo Pujatti - 2001 - Logic and Logical Philosophy 9:129.
On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates.Paulo Veloso & Sheila Veloso - 2005 - Logic Journal of the IGPL 13 (6):717-728.
A Modal Perspective on the Computational Complexity of Attribute Value Grammar.Patrick Blackburn & Edith Spaan - 1993 - Journal of Logic, Language and Information 2 (2):129-169.
On Positive Relational Calculi.Renata de Freitas, Paulo Veloso, Sheila Veloso & Petrucio Viana - 2007 - Logic Journal of the IGPL 15 (5-6):577-601.
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
Second-Order Reasoning in Description Logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Characterising Combinational Timing Analyses in Intuitionistic Modal Logic.M. Mendler - 2000 - Logic Journal of the IGPL 8 (6):821-852.
Analytics
Added to PP index
2015-02-04
Total views
8 ( #1,003,213 of 2,499,678 )
Recent downloads (6 months)
1 ( #418,206 of 2,499,678 )
2015-02-04
Total views
8 ( #1,003,213 of 2,499,678 )
Recent downloads (6 months)
1 ( #418,206 of 2,499,678 )
How can I increase my downloads?
Downloads
