Results 11 to 20 of about 2,910 (216)
Cut-Free Gentzen Sequent Calculi for Tense Logics
Axioms, 2023 The cut-free single-succedent Gentzen sequent calculus GKt for the minimal tense logic Kt is introduced. This sequent calculus satisfies the displaying property.
Zhe Lin, Minghui Ma
doaj +1 more source
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics [PDF]
Logical Methods in Computer Science, 2011 We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents.
Rajeev Gore +2 more
doaj +1 more source
On intuitionistic branching tense logic with weak induction
Lietuvos Matematikos Rinkinys, 1998 In the paper, the first-order branching tense logic calculus is given: LB J with the weak induction, that is to say with the axiom (A ∧ A O ☐ A) ⊃ ☐ A instead of the induction axiom (A ∧ ☐ (A ⊃ O A)) ⊃ ☐ A.
Romas Alonderis
doaj +3 more sources
Specification of Agents’ Activities in Past, Present and Future [PDF]
Organon F, 2023 The behaviour of a multi-agent system is driven by messaging. Usually, there is no central dispatcher and each autonomous agent, though resource-bounded, can make less or more rational decisions to meet its own and collective goals. To this end, however,
Marie Duží
doaj +1 more source
Tense Logic And Tense And Aspect In English
Kansas Working Papers in Linguistics, 1979 Problems encountered in interpreting a standard tense logic with tense operators P and F as a model for natural language are discussed. A formal system is presented which eliminates some of these problems of interpretation.
Bryan, Bob
doaj +1 more source
Complexity Theory in sociological theorizing and metamodern culture — the contours of mutual legitimation [PDF]
Соціологія, 2022 The focus of the article is on two large-scale transformation processes that are currently taking place in the Western scientific and socio-cultural spaces.
Lyubov Bevzenko
doaj +1 more source
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is 'stable' with respect to this pre-order.
Katsuhiko Sano, John G. Stell
doaj +1 more source
Termination of derivations for minimal tense logic
Lietuvos Matematikos Rinkinys, 2009 It is known that loop checking and backtracking are extensively used in various non-classical logics. An efficient loop checking is obtained using a technique based on histories.
Regimantas Pliuškevičius
doaj +1 more source
M@n@gement, 2021 Surveillance capitalists like Google and Amazon will do whatever they can to corner supply routes to data about us and our actions. In Zuboff’s lengthy book The age of surveillance capitalism, we learn about the strategic and often underhand means by ...
Ella Hafermalz
doaj +1 more source
Automatization of proof-search for a fragment of the first-order linear tense logic
Lietuvos Matematikos Rinkinys, 2003 There is not abstract.
Romas Alonderis
doaj +3 more sources