David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 11 (4):389-425 (2002)
Temporal logic can be used to describe processes: their behaviour ischaracterized by a set of temporal models axiomatized by a temporaltheory. Two types of models are most often used for this purpose: linearand branching time models. In this paper a third approach, based onsocalled joint closure models, is studied using models which incorporateall possible behaviour in one model. Relations between this approach andthe other two are studied. In order to define constructions needed torelate branching time models, appropriate algebraic notions are defined(in a category theoretical manner) and exploited. In particular, thenotion of joint closure is used to construct one model subsuming a setof models. Using this universal algebraic construction we show that aset of linear models can be merged to a unique branching time model.Logical properties of the described algebraic constructions are studied.The proposed approach has been successfully aplied to obtain anappropriate semantics for non-monotonic reasoning processes based ondefault logic. References are discussed that show the details of theseapplications.
|Keywords||branching time joint closure linear time semantics temporal logic|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Volker Weber (2009). Branching-Time Logics Repeatedly Referring to States. Journal of Logic, Language and Information 18 (4):593-624.
Mark Brown & Valentin Goranko (1999). An Extended Branching-Time Ockhamist Temporal Logic. Journal of Logic, Language and Information 8 (2):143-166.
ElŻbieta Hajnicz (1999). Some Considerations on Branching Areas of Time. Journal of Logic, Language and Information 8 (1):17-43.
Amílcar Sernadas, Cristina Sernadas & Carlos Caleiro (1997). Synchronization of Logics. Studia Logica 59 (2):217-247.
Jaap Van Pelt & Harry B. M. Uylings (2003). Growth Functions in Dendritic Outgrowth. Brain and Mind 4 (1):51-65.
Frank Wolter & Michael Zakharyaschev (2005). A Logic for Metric and Topology. Journal of Symbolic Logic 70 (3):795 - 828.
Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
Thomas Müller (2002). Branching Space-Time, Modal Logic and the Counterfactual Conditional. In T. Placek & J. Butterfield (eds.), Non-Locality and Modality. Kluwer 273--291.
Alberto Zanardo (2006). Quantification Over Sets of Possible Worlds in Branching-Time Semantics. Studia Logica 82 (3):379 - 400.
Wiebe van der Hoek, John-Jules Meyer & Jan Treur (1998). Temporalizing Epistemic Default Logic. Journal of Logic, Language and Information 7 (3):341-367.
Added to index2009-01-28
Total downloads17 ( #160,237 of 1,726,249 )
Recent downloads (6 months)5 ( #147,227 of 1,726,249 )
How can I increase my downloads?