Coalition announcements

QR Code

Coalition announcements

Coalition announcement logic is one of the family of logics of quantified announcements. It extends public announcement logic with formulas $\langle \! [ G ] \! \rangle \varphi$ that are read as `there is a truthful public announcement by agents from $G$ such that whatever agents from $A \setminus G...

Full description

Bibliographic Details
Main Author:	Galimullin, Rustam
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2019
Subjects:	logic Symbolic and mathematical computer logic computer science
Online Access:	https://eprints.nottingham.ac.uk/56641/

Similar Items

Arithmetic logic unit (ALU) - bit slice approach.
by: Suparjo, Bambang Sunaryo, et al.

Perbandingan Antara Mantik Al-Sullam Dengan Mantik Moden Dalam Konteks Pendidikan Matematik Di Malaysia
by: Maat, Siti Mistima
Published: (2003)

Classification of second class filiform leibniz algebras in dimension nine
by: Deraman, Fatanah
Published: (2013)

CSC112 - PENGANTAR LOGIK DAN PENGABSTRAKAN - JUN 1994.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1994)

CSI501 - LOGIK DAN SISTEM PENTAABIRAN - OKTOBER 1988.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1988)

CAT102/CSC112 - Pengantar Logik dan Pengabstrakan Februari 1999
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1999)

CPT104 - Pengantar Logik & Pengabstrakan - Mac 2005
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2005)

Coalition and coalition announcement logic
by: Galimullin, Rustam, et al.
Published: (2017)

Coalition logic with individual, distributed and common knowledge
by: Ågotnes, Thomas, et al.
Published: (2016)

Enhanced fuzzy subjective evaluation method / Shezrin Hawani Amir Hamzah
by: Amir Hamzah, Shezrin Hawani
Published: (2015)

The spiritual VS physical certainties (اليقين): inspirations from al-Ghazali`s intellectual heritage
by: Shogar, Ibrahim
Published: (2017)

Fuzzy logic controller for roof sprinkler cooling system / Faizzudin Sahazudin , Nooraini Yusoff and Fadzilah Siraj
by: Yusoff, Nooraini, et al.
Published: (2018)

Developing touchscreen numeracy learning application for children with autism / Muhamad Fairus Kamaruzaman
by: Kamaruzaman, Muhamad Fairus
Published: (2018)

Dynamical fuzzy autocatalytic set of combustion process in circulating fluidized bed boiler using transition matrix / Hazwani Hashim
by: Hashim, Hazwani
Published: (2014)

3D object recognition using affine moment invariants and multiple adaptive network based fuzzy inference system / Muhammad Khusairi Osman … [et al.]
by: Osman, Muhammad Khusairi
Published: (2009)

An investigation on devoutness Islamic prayer among female college students through biofeedback
by: Jing, Wang
Published: (2013)

Analysing fuzzy sets through combining measures of similarity and distance
by: McCulloch, Josie, et al.
Published: (2014)

Performance measurement under increasing environmental uncertainty in the context of interval type-2 fuzzy logic based robotic sailing
by: Benatar, Naisan, et al.
Published: (2013)

Extending similarity measures of interval type-2 fuzzy sets to general type-2 fuzzy sets
by: McCulloch, Josie, et al.
Published: (2013)

Measuring the directional distance between fuzzy sets
by: McCulloch, Josie, et al.
Published: (2013)

A fuzzy directional distance measure
by: McCulloch, Josie, et al.
Published: (2014)

盛唐山水诗中的自然生态观研究
by: Chuah, Wan Cheng, et al.
Published: (2016)

Application of fuzzy technique for order preference by similarity to the ideal solution in the selection of candidates / Mohd Ariff Ahmad Taharim and Kor Liew Kee
by: Ahmad Taharim, Mohd Ariff, et al.
Published: (2012)

Lambda-max criteria weight determination in an adaptive neuro-fuzzy inference system / Rosma Mohd Dom, Daud Mohamad and Ajab Bai Akbarally
by: Mohd Dom, Rosma, et al.
Published: (2012)

Ranking cafeterias in UiTM Perlis using two types of fuzzy TOPSIS method / Aifaa Nazihah Abdullah
by: Abdullah, Aifaa Nazihah
Published: (2020)

Job matching system for IT students using fuzzy logic / Dalilah Masngon
by: Masngon, Dalilah
Published: (2020)

Reka bentuk dan implementasi suatu penghurai Bahasa Melayu menggunakan sistem logik selari
by: Ramli, Suzaimah
Published: (2002)

Cloud intrusion detection systems: fuzzy logic and classifications
by: Alqahtani, Saeed Masaud H.
Published: (2017)

Malay speech recognition to determine emotion using fuzzy logic / Siti Nazirah Abd Rahim
by: Abd Rahim, Siti Nazirah
Published: (2013)

A fuzzy logic model for students' scholarship selection / Nor Hashimah Sulaiman and Daud Mohamad
by: Sulaiman, Nor Hashimah, et al.
Published: (2006)

Efficient edge detection using fuzzy heuristic particle swarm optimization / Noor Elaiza Abdul Khalid, Mazani Manaf and Mohd Ezane Aziz
by: Abdul Khalid, Noor Elaiza, et al.
Published: (2009)

Some constructions on ω-groupoids
by: Altenkirch, Thorsten, et al.
Published: (2014)

Comparison of AHP and fuzzy AHP for multi-criteria decision making / Zuhaibudin Sidek
by: Sidek, Zuhaibudin, et al.
Published: (2019)

Implementation Of Various Types Of Fuzzy Controls On A Mobile Robot Using Sonar Sensors [QA9.64. N438 2008 f rb].
by: Neoh, Hock Seng
Published: (2008)

The Optimum Combination Of Local Searches For Genetic Operators In Memetic Algorithm For The Space Allocation Problem [QA9.58. S624 2008 f rb].
by: Chandrakaisan, Sivarenuka Devi
Published: (2008)

Ranking of used cars brands and its criteria by using Fuzzy Topsis and Fuzzy Ahp / Nur Amira Shuhada Mohd Basri
by: Mohd Basri, Nur Amira Shuhada
Published: (2019)

A Fuzzy Logic Approach to Explaining Aggregate Investment in Indonesia, Malaysia, Thailand and Philippines
by: Kan, Chung Yan
Published: (2008)

Decision-making using fuzzy analytical hierarchy process in choosing postgraduate programs / Noraini Ahmad ...[et al.]
by: Ahmad, Noraini, et al.
Published: (2018)

Comparison between fuzzy and non-fuzzy classification methods in the prediction of residential household water leakage / Nor Aishah Md Noh, Dr. Khairul Anwar Rasmani and Nur Rasyida Mohd Rashid
by: Md Noh, Nor Aishah, et al.
Published: (2013)

Single-phase single stage string inverter for a grid connected photovoltaic system with integrated perturb and observe - fuzzy logic control MPPT technique / Siti Zaliha Mohammad Noor
by: Mohammad Noor, Siti Zaliha
Published: (2018)