Results 21 to 30 of about 765,429 (244)
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
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
PHILOSOPHICAL ISSUES IN TENSE LOGIC.
, 1980 PHILOSOPHICAL ISSUES IN TENSE ...
MARTHE ATWATER. CHANDLER (7977806)
core +3 more sources
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
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
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
A study of the mystical poems of Mikha'il Nu'ayma based on the semantic sign approach [PDF]
نقد ادب معاصر عربی, 2023 Extended abstractThe present study analyzes the mystical poems of Mikhail Nu'ayma. Influenced by familiarity with the philosophical ideas and mysticism of India, Buddhism, Greek, Platonism, and, most importantly, Islamic mysticism, he was able to create ...
tahereh heydari
doaj +1 more source
Review: "An Algebraic Study of Tense Logic with Linear Time," by R. A. Bull [PDF]
, 1971 Publisher's, offprint versionIn these papers (the second of which is principally a correction and adumbration of the first) Bull constructs algebraic semantics which provide completeness theorems for three prepositional tense logics for linear time ...
Cocchiarella, Nino
core +1 more source