A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Fibring Semantic Tableaux
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2008
Autonomous Agents and Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1973
Journal of Philosophical Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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
2002
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
2008
Autonomous Agents and Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Applied Logic Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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