184 Hits in 1.7 sec

Fibring Semantic Tableaux [chapter]

Bernhard Beckert, Dov Gabbay
1998 Lecture Notes in Computer Science  
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics.  ...  We consider semantic tableau calculi that satisfy certain conditions and are therefore known to be "well-behaved"-such that fibring is possible.  ...  The first semantical condition (Cond. 3) is part of our definition of the semantics of tableau formulae and tableaux (Def. 8): Condition 3.  ... 
doi:10.1007/3-540-69778-0_15 fatcat:466tzpdi2zaf7edudozlatmzzu

Page 6089 of Mathematical Reviews Vol. , Issue 98J [page]

1998 Mathematical Reviews  
Summary: “We investigate the notion of fibred tableaux, which naturally arises from the idea of fibred semantics.  ...  6089 98j:03010 03B35 68TI5 Beckert, Bernhard (D-KLRH-L; Karlsruhe); Pape, Christian (D-KLRH-L; Karlsruhe) Incremental theory reasoning methods for semantic tableaux.  ... 

Modal tableaux for verifying stream authentication protocols

Mehmet A. Orgun, Guido Governatori, Chuchang Liu
2008 Autonomous Agents and Multi-Agent Systems  
We describe a labelled modal tableaux system for the resulting fibred belief logic (FL) which can be used to automatically verify correctness of inter-agent stream authentication protocols.  ...  With the resulting fibred belief logic and its associated modal tableaux, one is able to build theories of trust for the description of, and reasoning about, multi-agent systems operating in dynamic environments  ...  a fibred logic based on sound and complete labelled tableaux systems (of the same type of the tableaux system for the fibred logic) for the logics to be combined.  ... 
doi:10.1007/s10458-007-9027-4 fatcat:6joxnbtyrrchpexur4awfzjpxu

A Fibred Tableau Calculus for Modal Logics of Agents [chapter]

Vineet Padmanabhan, Guido Governatori
2006 Lecture Notes in Computer Science  
In [15, 19] we showed how to combine propositional multimodal logics using Gabbay's fibring methodology.  ...  In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics.  ...  As we only described the static fragment of MMA logics, (no temporal evolution was considered), the future work is to extend the tableaux framework so as to accommodate temporal modalities.  ... 
doi:10.1007/11961536_8 fatcat:iquaulmvgfaerbpb3gau4h6324

On Constructing Fibred Tableaux for BDI Logics [chapter]

Vineet Padmanabhan, Guido Governatori
2006 Lecture Notes in Computer Science  
The algebra simulates the possible world semantics and it is very strongly related with fibring [8] .  ...  The next section provides a brief introduction to the technique of fibring.  ...  A fibred model for F I can be generated from fibring the semantics for the modal logics i , i ∈ I. The detailed construction is given in [13] .  ... 
doi:10.1007/978-3-540-36668-3_18 fatcat:e5qkxizpfzdtzlqvrzppiiawza

Page 3177 of Mathematical Reviews Vol. , Issue 2003e [page]

2003 Mathematical Reviews  
Fibring is a method developed in order to combine logics.  ...  Demri, in Theorem proving with analytic tableaux and related methods (Terrasini, 1996), 177-192, Lecture Notes in Com- put.  ... 

Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment

Dov M. Gabbay
1973 Journal of Philosophical Logic  
Fibred Semantics for Feature Based Grammar Logic (with J. Dörre and E. König)  ...  Semantical Investigations in Heyting's Intuitionistic Logic Synthese volume 148. D.  ...  Fibring Logics Oxford University Press, 1998, 600 pp. Fibring Tableaux systems (with B. Beckert) In Tableaux Structured contexts with fibred semantics (with R.  ... 
doi:10.1007/bf00129607 fatcat:e6lokulrwrfcvl525fgj6dcr3m

Page 5448 of Mathematical Reviews Vol. , Issue 98I [page]

1998 Mathematical Reviews  
Gabbay, Fibred tableaux for multi- implication logics (16-35); Natasha Alechina, Interpolation for a sequent calculus of generalized quantifiers (36-47); Alessan- dro Avellone and Mauro Ferrari [Mauro  ...  Fermiiller, Combin- ing many-valued and intuitionistic tableaux (65-79); Gérard Becher, Cyclic connections (80-92): Bernhard Beckert and Chris- tian Pape, Incremental theory reasoning methods for semantic  ... 

Page 5969 of Mathematical Reviews Vol. , Issue 2004h [page]

2004 Mathematical Reviews  
(P-TULT; Lisbon) Fibring logics with topos semantics. (English summary) J. Logic Comput. 13 (2003), no. 4, 595-624.  ...  The semantics of this general class is based on the traditional topos semantics of HOL, whereas the proposed deduction mechanism is that of a Hilbert calculus.  ... 

Fibring Labelled Deduction Systems

J. Rasga
2002 Journal of Logic and Computation  
At the semantic level, we introduce a general semantics for our systems and then give a categorial characterization of fibring of models.  ...  so that completeness is preserved by both forms of fibring.  ...  passing from tableaux of one component to tableaux of the other, and vice versa.  ... 
doi:10.1093/logcom/12.3.443 fatcat:fxcljx36e5a7dcqfuqha6c7r4e

Formal approaches to multi-agent sysems

Rineke Verbrugge, Barbara Dunin-Kȩplicz
2008 Autonomous Agents and Multi-Agent Systems  
For the dynamic agent programming language, the authors provide both an operational and a denotational semantics. The two types of semantics are proved to be equivalent.  ...  In order to do this, they first construct a combined logic by adding a temporal dimension to the logic of beliefs by using the fibring method to combine logics, as introduced by Gabbay and colleagues.  ... 
doi:10.1007/s10458-008-9072-7 fatcat:dabt6g4edrfwnp2r3hvts52nxe

Temporalised Epistemic Logic for Reasoning about Agent-Based Systems

Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi
2009 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology  
Below we give the semantics of the knowledge operators of the epistemic logic: III. LABELLED TABLEAUX PROOF SYSTEM FOR TEL Tableaux are one of the favorite proof methods for modal logics.  ...  For unifying world labels for TEL, we may adopt the label unification for a fibred logic of belief and time proposed by Orgun et al [12] . B.  ... 
doi:10.1109/wi-iat.2009.329 dblp:conf/iat/MaOSA09 fatcat:zgsidjxwmrbvnbc5glngu3koiu

Fibred Modal Tableaux [chapter]

Dov M. Gabbay, Guido Governatori
2000 Applied Logic Series  
We describe a general and uniform tableau methodology for multi-modal logics arising from Gabbay's methodology of fibring and Governatori's tableau system KEM.  ...  The main idea of fibring is very simple, and provides a new concept of possible world semantics.  ...  In the next two sections we define two ways, fibring and dovetailing, in which semantics can be combined. We first explain the concepts by taking a simple example.  ... 
doi:10.1007/978-94-011-4040-9_7 fatcat:cbm6oipkejcyzjcsvj4ue64msy

Page 3125 of Mathematical Reviews Vol. , Issue 2000e [page]

2000 Mathematical Reviews  
Zuber [Ryszard Zuber], Constrained functions and semantic in- formation (369-383).  ...  Hodas, A linear logic treatment of phrase structure grammars for unbounded dependencies (160-179); Dirk Heylen, Underspec- ification in type-logical grammars (180-199); Nissim Francez, On fibring feature  ... 

Page 3671 of Mathematical Reviews Vol. , Issue 99f [page]

1999 Mathematical Reviews  
No. 152, 219-229); Marcel Guillaume, Les tableaux sémantiques de cal- cul des prédicats restreint (d’aprés E. W. Beth) [MR 21 #4902] [The semantic tableaux of restricted predicate calculus (after E.  ...  Contents: Henri Cartan, Espaces fibrés analytiques, d’aprés H. Grauert [Analytic fiber spaces, after H. Grauert] (Exp.  ... 
« Previous Showing results 1 — 15 out of 184 results