Search Results - Completeness (logic)

Coalition logic with individual, distributed and common knowledge by Ågotnes, Thomas, Alechina, Natasha

Subjects: “…Coalition logic…”
Get full text

Logic for exact entailment by Fine, Kit, Jago, Mark

“…We also formulate a sequent-style proof system for exact entailment and give soundness and completeness results.…”
Get full text

A logic of directions by Du, Heshan, Alechina, Natasha, Cohn, Anthony G.

“…We provide a sound and complete axiomatisation of it, and prove that its satisfiability problem is NP-complete.…”
Get full text

The place of syllogistic in logical theory by Clark, Michael

“…(We show how Aristotle's attempt to show his logic was complete anticipates modern Henkin-style completeness proofs.) …”
Get full text

On the complexity of resource-bounded logics by Alechina, Natasha, Bulling, Nils, Demri, Stephane, Logan, Brian

“…We show that the model-checking problem for the logic RB+-ATL is 2EXPTIME-complete by using recent results on alternating VASS. …”
Get full text

On the complexity of resource-bounded logics by Alechina, N., Bulling, N., Demri, S., Logan, B.

“…We show that the model checking problem for the logic RB+-ATL is 2EXPTIME-complete by using recent results on alternating VASS (and in EXPTIME when the number of resources is bounded). …”
Get full text

Coalition and coalition announcement logic by Galimullin, Rustam, Alechina, Natasha

“…In this paper, we consider a combination of these logics – Coalition and Group Announcement Logic and provide its complete axiomatisation. …”
Get full text

Where's the logic in commissioning?: exploring the influence of institutional logics on inter-organisational working in the English National Health by O'Connor, Rebecca

“…Thematic analysis was used to identify key themes which were then viewed through the institutional logics framework lens to explore how logics were present and influencing the commissioning processes as they progressed. …”
Get full text

Qualitative spatial logics for buffered geometries by Du, Heshan, Alechina, Natasha

“…For each of the logics, the satisfiability problem is shown to be NP-complete. …”
Get full text

Thought and logic in Chomsky's views approaches by Yaacob, Solehah@Nik Najah Fadilah

“…The research emphasizes the relationship between linguistics and logic according modern views and approaches. However, linguistic argumentation is needed for analyzing a language system that uses the meaning of expressions in a sentence to provide the complete meaning of the sentence, as there lies a dependence between expressions. …”
Get full text
Get full text

A logic for reasoning about knowledge of unawareness by Agotnes, Thomas, Alechina, Natasha

“…In addition to proving that the logic is decidable and that its satisfiability problem is PSPACE-complete, we present an axiomatisation which we show is sound and complete.…”
Get full text

Alternating-time temporal logic with resource bounds by Nguyen, Hoang Nga, Alechina, Natasha, Logan, Brian, Rakib, Abdur

“…We extend ATL with costs of actions and hence of strategies. We give a complete and sound axiomatisation of the resulting logic, Resource-Bounded ATL (RB-ATL), and a model-checking algorithm for it.…”
Get full text

Coalition announcements by Galimullin, Rustam

“…We present coalition and relativised group announcement logic and show its completeness. Apart from that, we prove that the complexity of the model-checking problem for coalition announcement logic is PSPACE-complete in the general case, and in P in a special case of positive target formulas. …”
Get full text

Applications of fuzzy logic to software model / Yuhanim Hani Yahaya by Yuhanim Hani, Yahaya

“…Some of these inputs are confusing and are not known with reasonable degree of certainty until the project is completed. In an attempt to overcome this problem and to fulfil the needs, fuzzy logic has been studied for effort prediction. …”
Get full text
Get full text

Risk analysis model for construction projects using fuzzy logic by Chaher, Zid Chaher, Soomro, Ali Raza

Get full text
Get full text

Linguistic argumentation and logic: an alternative method approach in Arabic grammar by Yaacob, Solehah@Nik Najah Fadilah

“…This research emphasizes the relationship between linguistic argumentation1 and logic1. Linguistic argumentation is a language system which uses the meaning of expressions in a sentence to draw a complete meaning of the sentence, as there lies a dependence between expressions. …”
Get full text
Get full text

Linguistic argumentation and logic: an alternative method approach in Arabic grammar by Yaacob, Solehah@Nik Najah Fadilah

“…This research emphasises the relationship between linguistic argumentation and logic . Linguistic argumentation is a language system which uses the meaning of expressions in a sentence to draw a complete meaning of the sentence, as there lies a dependence between expressions. …”
Get full text
Get full text

Velocity control for spherical robot using PI-fuzzy logic by Kamis, Nurul Nafisah, Embong, Abd. Halim, Ahmad, Salmiah

Get full text
Get full text
Get full text

Public announcement logic in cryptographic protocol / Muhammad Farhan Mohd Nasir by Muhammad Farhan , Mohd Nasir

“…Public announcement logic with common knowledge (PAC) is a logic that formalizes the notion of epistemic update. …”
Get full text
Get full text
Get full text

Matching disparate geospatial datasets and validating matches using spatial logic by Du, Heshan

“…To reason about and validate matches between spatial features, a series of new qualitative spatial logics was developed. Their soundness, completeness, decidability and complexity theorems were proved for models based on a metric space. …”
Get full text