Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(modal logic). Showing records 1 – 30 of 111 total matches.

[1] [2] [3] [4]

Search Limiters

Last 2 Years | English Only

Levels

Country

▼ Search Limiters


University of Edinburgh

1. Jungteerapanich, Natthapong. Tableau systems for the modal μ-calculus.

Degree: PhD, 2010, University of Edinburgh

 The main content of this thesis concerns a tableau method for solving the satisfiability problem for the modal μ-calculus. A sound and complete tableau system… (more)

Subjects/Keywords: 518; tableaux; modal logic; logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jungteerapanich, N. (2010). Tableau systems for the modal μ-calculus. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/4208

Chicago Manual of Style (16th Edition):

Jungteerapanich, Natthapong. “Tableau systems for the modal μ-calculus.” 2010. Doctoral Dissertation, University of Edinburgh. Accessed August 18, 2019. http://hdl.handle.net/1842/4208.

MLA Handbook (7th Edition):

Jungteerapanich, Natthapong. “Tableau systems for the modal μ-calculus.” 2010. Web. 18 Aug 2019.

Vancouver:

Jungteerapanich N. Tableau systems for the modal μ-calculus. [Internet] [Doctoral dissertation]. University of Edinburgh; 2010. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/1842/4208.

Council of Science Editors:

Jungteerapanich N. Tableau systems for the modal μ-calculus. [Doctoral Dissertation]. University of Edinburgh; 2010. Available from: http://hdl.handle.net/1842/4208

2. Coscarelli, Bruno Costa. Introdução à Lógica Modal.

Degree: Mestrado, Matemática, 2009, University of São Paulo

O presente trabalho tem como objetivo proporcionar aos estudantes que precisem da lógica modal como ferramenta um texto conciso mas suficientemente completo. Embora seja um… (more)

Subjects/Keywords: lógica modal; modal logic; modalidade; modality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Coscarelli, B. C. (2009). Introdução à Lógica Modal. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/ ;

Chicago Manual of Style (16th Edition):

Coscarelli, Bruno Costa. “Introdução à Lógica Modal.” 2009. Masters Thesis, University of São Paulo. Accessed August 18, 2019. http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/ ;.

MLA Handbook (7th Edition):

Coscarelli, Bruno Costa. “Introdução à Lógica Modal.” 2009. Web. 18 Aug 2019.

Vancouver:

Coscarelli BC. Introdução à Lógica Modal. [Internet] [Masters thesis]. University of São Paulo; 2009. [cited 2019 Aug 18]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/ ;.

Council of Science Editors:

Coscarelli BC. Introdução à Lógica Modal. [Masters Thesis]. University of São Paulo; 2009. Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/ ;


Universiteit Utrecht

3. Pankov, A. The Other-Condemning Moral Emotions - A Modal Logic Approach.

Degree: 2015, Universiteit Utrecht

 We propose a formal specification of the elicitation conditions and prototypical coping strategies for three of the moral emotions: anger, contempt and disgust. We utilize… (more)

Subjects/Keywords: emotion; moral; modal logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pankov, A. (2015). The Other-Condemning Moral Emotions - A Modal Logic Approach. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/319982

Chicago Manual of Style (16th Edition):

Pankov, A. “The Other-Condemning Moral Emotions - A Modal Logic Approach.” 2015. Masters Thesis, Universiteit Utrecht. Accessed August 18, 2019. http://dspace.library.uu.nl:8080/handle/1874/319982.

MLA Handbook (7th Edition):

Pankov, A. “The Other-Condemning Moral Emotions - A Modal Logic Approach.” 2015. Web. 18 Aug 2019.

Vancouver:

Pankov A. The Other-Condemning Moral Emotions - A Modal Logic Approach. [Internet] [Masters thesis]. Universiteit Utrecht; 2015. [cited 2019 Aug 18]. Available from: http://dspace.library.uu.nl:8080/handle/1874/319982.

Council of Science Editors:

Pankov A. The Other-Condemning Moral Emotions - A Modal Logic Approach. [Masters Thesis]. Universiteit Utrecht; 2015. Available from: http://dspace.library.uu.nl:8080/handle/1874/319982


Cornell University

4. Bjorndahl, Adam. Language-Based Games .

Degree: 2014, Cornell University

 We introduce language-based games, in which utility is defined over descriptions in a given language. By choosing the right language, we can capture psychological games… (more)

Subjects/Keywords: game theory; modal logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bjorndahl, A. (2014). Language-Based Games . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/38745

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bjorndahl, Adam. “Language-Based Games .” 2014. Thesis, Cornell University. Accessed August 18, 2019. http://hdl.handle.net/1813/38745.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bjorndahl, Adam. “Language-Based Games .” 2014. Web. 18 Aug 2019.

Vancouver:

Bjorndahl A. Language-Based Games . [Internet] [Thesis]. Cornell University; 2014. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/1813/38745.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bjorndahl A. Language-Based Games . [Thesis]. Cornell University; 2014. Available from: http://hdl.handle.net/1813/38745

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Texas A&M University

5. Creel, James Silas. Intention is commitment with expectation.

Degree: 2005, Texas A&M University

Modal logics with possible worlds semantics can be used to represent mental states such as belief, goal, and intention, allowing one to formally describe the… (more)

Subjects/Keywords: agents; modal logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Creel, J. S. (2005). Intention is commitment with expectation. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/2313

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Creel, James Silas. “Intention is commitment with expectation.” 2005. Thesis, Texas A&M University. Accessed August 18, 2019. http://hdl.handle.net/1969.1/2313.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Creel, James Silas. “Intention is commitment with expectation.” 2005. Web. 18 Aug 2019.

Vancouver:

Creel JS. Intention is commitment with expectation. [Internet] [Thesis]. Texas A&M University; 2005. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/1969.1/2313.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Creel JS. Intention is commitment with expectation. [Thesis]. Texas A&M University; 2005. Available from: http://hdl.handle.net/1969.1/2313

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

6. Arai, Norihiro. Investigation of Modal Logics with Application to Agent Communication [課題研究報告書].

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Suprevisor: Hajime Ishihara

情報科学研究科

修士

Subjects/Keywords: Mathematics; Modal logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arai, N. (n.d.). Investigation of Modal Logics with Application to Agent Communication [課題研究報告書]. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/12029

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Arai, Norihiro. “Investigation of Modal Logics with Application to Agent Communication [課題研究報告書].” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed August 18, 2019. http://hdl.handle.net/10119/12029.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Arai, Norihiro. “Investigation of Modal Logics with Application to Agent Communication [課題研究報告書].” Web. 18 Aug 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Arai N. Investigation of Modal Logics with Application to Agent Communication [課題研究報告書]. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Aug 18]. Available from: http://hdl.handle.net/10119/12029.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

Arai N. Investigation of Modal Logics with Application to Agent Communication [課題研究報告書]. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/12029

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.


Indiana University

7. Zhou, Chunlai. Complete Deductive Systems for Probability Logic with Application in Harsanyi Type Spaces .

Degree: 2010, Indiana University

 These days, the study of probabilistic systems is very popular not only in theoretical computer science but also in economics. There is a surprising concurrence… (more)

Subjects/Keywords: probability theory; modal logic; game theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zhou, C. (2010). Complete Deductive Systems for Probability Logic with Application in Harsanyi Type Spaces . (Thesis). Indiana University. Retrieved from http://hdl.handle.net/2022/7673

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Zhou, Chunlai. “Complete Deductive Systems for Probability Logic with Application in Harsanyi Type Spaces .” 2010. Thesis, Indiana University. Accessed August 18, 2019. http://hdl.handle.net/2022/7673.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Zhou, Chunlai. “Complete Deductive Systems for Probability Logic with Application in Harsanyi Type Spaces .” 2010. Web. 18 Aug 2019.

Vancouver:

Zhou C. Complete Deductive Systems for Probability Logic with Application in Harsanyi Type Spaces . [Internet] [Thesis]. Indiana University; 2010. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/2022/7673.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Zhou C. Complete Deductive Systems for Probability Logic with Application in Harsanyi Type Spaces . [Thesis]. Indiana University; 2010. Available from: http://hdl.handle.net/2022/7673

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Illinois – Urbana-Champaign

8. Shirazi, Afsaneh H. Reasoning with models of probabilistic knowledge over probabilistic knowledge.

Degree: PhD, 0112, 2011, University of Illinois – Urbana-Champaign

 In multi-agent systems, the knowledge of agents about other agents??? knowledge often plays a pivotal role in their decisions. In many applications, this knowledge involves… (more)

Subjects/Keywords: Probabilistic Knowledge; Bayesian Networks; Modal Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Shirazi, A. H. (2011). Reasoning with models of probabilistic knowledge over probabilistic knowledge. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/24239

Chicago Manual of Style (16th Edition):

Shirazi, Afsaneh H. “Reasoning with models of probabilistic knowledge over probabilistic knowledge.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed August 18, 2019. http://hdl.handle.net/2142/24239.

MLA Handbook (7th Edition):

Shirazi, Afsaneh H. “Reasoning with models of probabilistic knowledge over probabilistic knowledge.” 2011. Web. 18 Aug 2019.

Vancouver:

Shirazi AH. Reasoning with models of probabilistic knowledge over probabilistic knowledge. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/2142/24239.

Council of Science Editors:

Shirazi AH. Reasoning with models of probabilistic knowledge over probabilistic knowledge. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/24239


University of Oxford

9. Fritz, Peter. Intensional type theory for higher-order contingentism.

Degree: PhD, 2015, University of Oxford

 Things could have been different, but could it also have been different what things there are? It is natural to think so, since I could… (more)

Subjects/Keywords: 110; Metaphysics; Logic; Contingentism; Modal Logic; Type Theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fritz, P. (2015). Intensional type theory for higher-order contingentism. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b9415266-ad21-494a-9a78-17d2395eb8dd ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664827

Chicago Manual of Style (16th Edition):

Fritz, Peter. “Intensional type theory for higher-order contingentism.” 2015. Doctoral Dissertation, University of Oxford. Accessed August 18, 2019. http://ora.ox.ac.uk/objects/uuid:b9415266-ad21-494a-9a78-17d2395eb8dd ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664827.

MLA Handbook (7th Edition):

Fritz, Peter. “Intensional type theory for higher-order contingentism.” 2015. Web. 18 Aug 2019.

Vancouver:

Fritz P. Intensional type theory for higher-order contingentism. [Internet] [Doctoral dissertation]. University of Oxford; 2015. [cited 2019 Aug 18]. Available from: http://ora.ox.ac.uk/objects/uuid:b9415266-ad21-494a-9a78-17d2395eb8dd ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664827.

Council of Science Editors:

Fritz P. Intensional type theory for higher-order contingentism. [Doctoral Dissertation]. University of Oxford; 2015. Available from: http://ora.ox.ac.uk/objects/uuid:b9415266-ad21-494a-9a78-17d2395eb8dd ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.664827


University of Lund

10. Rendsvig, Rasmus Kraemmer. Logical Dynamics and Dynamical Systems.

Degree: 2018, University of Lund

 This thesis is on information dynamics modeled using *dynamic epistemic logic* (DEL). It takes the simple perspective of identifying models with maps, which under a… (more)

Subjects/Keywords: Formal epistemology; Modal logic; Dynamic epistemic logic; Dynamical systems; General topology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rendsvig, R. K. (2018). Logical Dynamics and Dynamical Systems. (Doctoral Dissertation). University of Lund. Retrieved from http://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; http://portal.research.lu.se/ws/files/38754134/Rendsvig_2018_Logical_Dynamics_and_Dynamical_Systems.pdf

Chicago Manual of Style (16th Edition):

Rendsvig, Rasmus Kraemmer. “Logical Dynamics and Dynamical Systems.” 2018. Doctoral Dissertation, University of Lund. Accessed August 18, 2019. http://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; http://portal.research.lu.se/ws/files/38754134/Rendsvig_2018_Logical_Dynamics_and_Dynamical_Systems.pdf.

MLA Handbook (7th Edition):

Rendsvig, Rasmus Kraemmer. “Logical Dynamics and Dynamical Systems.” 2018. Web. 18 Aug 2019.

Vancouver:

Rendsvig RK. Logical Dynamics and Dynamical Systems. [Internet] [Doctoral dissertation]. University of Lund; 2018. [cited 2019 Aug 18]. Available from: http://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; http://portal.research.lu.se/ws/files/38754134/Rendsvig_2018_Logical_Dynamics_and_Dynamical_Systems.pdf.

Council of Science Editors:

Rendsvig RK. Logical Dynamics and Dynamical Systems. [Doctoral Dissertation]. University of Lund; 2018. Available from: http://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; http://portal.research.lu.se/ws/files/38754134/Rendsvig_2018_Logical_Dynamics_and_Dynamical_Systems.pdf

11. Salvatore, Felipe de Souza. Topics in modal quantification theory.

Degree: Mestrado, Filosofia, 2015, University of São Paulo

The modal logic S5 gives us a simple technical tool to analyze some main notions from philosophy (e.g. metaphysical necessity and epistemological concepts such as… (more)

Subjects/Keywords: First-order modal logic; Interpolação; Interpolation; Justification logic; Logic; Lógica; Lógica da justificação; Lógica modal de primeira ordem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Salvatore, F. d. S. (2015). Topics in modal quantification theory. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/ ;

Chicago Manual of Style (16th Edition):

Salvatore, Felipe de Souza. “Topics in modal quantification theory.” 2015. Masters Thesis, University of São Paulo. Accessed August 18, 2019. http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/ ;.

MLA Handbook (7th Edition):

Salvatore, Felipe de Souza. “Topics in modal quantification theory.” 2015. Web. 18 Aug 2019.

Vancouver:

Salvatore FdS. Topics in modal quantification theory. [Internet] [Masters thesis]. University of São Paulo; 2015. [cited 2019 Aug 18]. Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/ ;.

Council of Science Editors:

Salvatore FdS. Topics in modal quantification theory. [Masters Thesis]. University of São Paulo; 2015. Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-14122015-122734/ ;

12. Gao, Feng. A Short and Readable Proof of Cut Elimination for Two 1st Order Modal Logics.

Degree: MSc -MS, Computer Science, 2016, York University

 Since 1960s, logicians, philosophers, AI people have cast eyes on modal logic. Among various modal logic systems, propositional provability logic which was established by Godel… (more)

Subjects/Keywords: Computer science; Modal logics; Predicate calculus; Provability logic; Cut elimination; Gentzenisation; Quantified GL; Predicate modal logic; Predicate provability logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gao, F. (2016). A Short and Readable Proof of Cut Elimination for Two 1st Order Modal Logics. (Masters Thesis). York University. Retrieved from http://hdl.handle.net/10315/32701

Chicago Manual of Style (16th Edition):

Gao, Feng. “A Short and Readable Proof of Cut Elimination for Two 1st Order Modal Logics.” 2016. Masters Thesis, York University. Accessed August 18, 2019. http://hdl.handle.net/10315/32701.

MLA Handbook (7th Edition):

Gao, Feng. “A Short and Readable Proof of Cut Elimination for Two 1st Order Modal Logics.” 2016. Web. 18 Aug 2019.

Vancouver:

Gao F. A Short and Readable Proof of Cut Elimination for Two 1st Order Modal Logics. [Internet] [Masters thesis]. York University; 2016. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/10315/32701.

Council of Science Editors:

Gao F. A Short and Readable Proof of Cut Elimination for Two 1st Order Modal Logics. [Masters Thesis]. York University; 2016. Available from: http://hdl.handle.net/10315/32701


Universiteit Utrecht

13. Grossi, D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.

Degree: 2007, Universiteit Utrecht

 The work presented in this thesis suggestively moves from the consideration that what makes social notions difficult to grasp lies probably in their intrinsic "invisibility".… (more)

Subjects/Keywords: Informatica; institutions; organizations; norms; contexts; constitutive rules; modal logic; deontic logic; description logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Grossi, D. (2007). Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. (Doctoral Dissertation). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/22838

Chicago Manual of Style (16th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Doctoral Dissertation, Universiteit Utrecht. Accessed August 18, 2019. http://dspace.library.uu.nl:8080/handle/1874/22838.

MLA Handbook (7th Edition):

Grossi, D. “Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems.” 2007. Web. 18 Aug 2019.

Vancouver:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Internet] [Doctoral dissertation]. Universiteit Utrecht; 2007. [cited 2019 Aug 18]. Available from: http://dspace.library.uu.nl:8080/handle/1874/22838.

Council of Science Editors:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Doctoral Dissertation]. Universiteit Utrecht; 2007. Available from: http://dspace.library.uu.nl:8080/handle/1874/22838


University of Melbourne

14. Su, Che-Ping. Justification logics for conflicting Information.

Degree: 2015, University of Melbourne

 In this thesis, I will develop two types of justification logic systems. Both logics deal with inconsistent information. In the first half of this thesis,… (more)

Subjects/Keywords: logic; modal logic; justification logic; inconsistent information; conflicting information; paraconsistent logic; belief revision; formal argumentation theory; the Realization Theorem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Su, C. (2015). Justification logics for conflicting Information. (Doctoral Dissertation). University of Melbourne. Retrieved from http://hdl.handle.net/11343/58430

Chicago Manual of Style (16th Edition):

Su, Che-Ping. “Justification logics for conflicting Information.” 2015. Doctoral Dissertation, University of Melbourne. Accessed August 18, 2019. http://hdl.handle.net/11343/58430.

MLA Handbook (7th Edition):

Su, Che-Ping. “Justification logics for conflicting Information.” 2015. Web. 18 Aug 2019.

Vancouver:

Su C. Justification logics for conflicting Information. [Internet] [Doctoral dissertation]. University of Melbourne; 2015. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/11343/58430.

Council of Science Editors:

Su C. Justification logics for conflicting Information. [Doctoral Dissertation]. University of Melbourne; 2015. Available from: http://hdl.handle.net/11343/58430

15. Falcão, Pedro Alonso Amaral. Aspectos da teoria de funções modais.

Degree: Mestrado, Filosofia, 2012, University of São Paulo

Apresentamos alguns aspectos da teoria de funções modais, que é o correlato modal da teoria de funções de verdade. Enquanto as fórmulas da lógica proposicional… (more)

Subjects/Keywords: Completude funcional; Funções modais; Functional completeness; Lógica proposicional modal (S5); Modal functions; Modal propositional logic (S5)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Falcão, P. A. A. (2012). Aspectos da teoria de funções modais. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/ ;

Chicago Manual of Style (16th Edition):

Falcão, Pedro Alonso Amaral. “Aspectos da teoria de funções modais.” 2012. Masters Thesis, University of São Paulo. Accessed August 18, 2019. http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/ ;.

MLA Handbook (7th Edition):

Falcão, Pedro Alonso Amaral. “Aspectos da teoria de funções modais.” 2012. Web. 18 Aug 2019.

Vancouver:

Falcão PAA. Aspectos da teoria de funções modais. [Internet] [Masters thesis]. University of São Paulo; 2012. [cited 2019 Aug 18]. Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/ ;.

Council of Science Editors:

Falcão PAA. Aspectos da teoria de funções modais. [Masters Thesis]. University of São Paulo; 2012. Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/ ;


University of Western Australia

16. McCabe-Dansted, John C. A temporal logic of robustness.

Degree: PhD, 2011, University of Western Australia

This thesis presents a new temporal logic of robustness, called Robust Full Computation Tree Logic (RoCTL*) which adds operators for obligation and robustness to the… (more)

Subjects/Keywords: Robust control; Modality (Logic); Automata; RoCTL*; Modal logic; Obligation; ALTL; Automata; Time

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

McCabe-Dansted, J. C. (2011). A temporal logic of robustness. (Doctoral Dissertation). University of Western Australia. Retrieved from http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=30098&local_base=GEN01-INS01

Chicago Manual of Style (16th Edition):

McCabe-Dansted, John C. “A temporal logic of robustness.” 2011. Doctoral Dissertation, University of Western Australia. Accessed August 18, 2019. http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=30098&local_base=GEN01-INS01.

MLA Handbook (7th Edition):

McCabe-Dansted, John C. “A temporal logic of robustness.” 2011. Web. 18 Aug 2019.

Vancouver:

McCabe-Dansted JC. A temporal logic of robustness. [Internet] [Doctoral dissertation]. University of Western Australia; 2011. [cited 2019 Aug 18]. Available from: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=30098&local_base=GEN01-INS01.

Council of Science Editors:

McCabe-Dansted JC. A temporal logic of robustness. [Doctoral Dissertation]. University of Western Australia; 2011. Available from: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=30098&local_base=GEN01-INS01


Louisiana State University

17. Peralta, Manuel Alfonso. Perpetual requirements engineering.

Degree: PhD, Computer Sciences, 2012, Louisiana State University

 This dissertation attempts to make a contribution within the fields of distributed systems, security, and formal verification. We provide a way to formally assess the… (more)

Subjects/Keywords: Computer Security; Software Engineering; Modal Logic; Logic Programming; Software Verification; Sensor Networks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Peralta, M. A. (2012). Perpetual requirements engineering. (Doctoral Dissertation). Louisiana State University. Retrieved from etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220

Chicago Manual of Style (16th Edition):

Peralta, Manuel Alfonso. “Perpetual requirements engineering.” 2012. Doctoral Dissertation, Louisiana State University. Accessed August 18, 2019. etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220.

MLA Handbook (7th Edition):

Peralta, Manuel Alfonso. “Perpetual requirements engineering.” 2012. Web. 18 Aug 2019.

Vancouver:

Peralta MA. Perpetual requirements engineering. [Internet] [Doctoral dissertation]. Louisiana State University; 2012. [cited 2019 Aug 18]. Available from: etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220.

Council of Science Editors:

Peralta MA. Perpetual requirements engineering. [Doctoral Dissertation]. Louisiana State University; 2012. Available from: etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220


University of Victoria

18. Boyer, Wanda B. K. A decision and minimization procedure for modal logic.

Degree: Department of Computer Science, 2016, University of Victoria

 This thesis describes a decision and minimization procedure for modal logic. The decision procedure answers the question of whether there exists a satisfying pointed model… (more)

Subjects/Keywords: modal logic; satisfiability; model theory; formal logic; formal system; Enfragmo; decision procedure; semantic; structure; Kripke

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Boyer, W. B. K. (2016). A decision and minimization procedure for modal logic. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/7462

Chicago Manual of Style (16th Edition):

Boyer, Wanda B K. “A decision and minimization procedure for modal logic.” 2016. Masters Thesis, University of Victoria. Accessed August 18, 2019. http://hdl.handle.net/1828/7462.

MLA Handbook (7th Edition):

Boyer, Wanda B K. “A decision and minimization procedure for modal logic.” 2016. Web. 18 Aug 2019.

Vancouver:

Boyer WBK. A decision and minimization procedure for modal logic. [Internet] [Masters thesis]. University of Victoria; 2016. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/1828/7462.

Council of Science Editors:

Boyer WBK. A decision and minimization procedure for modal logic. [Masters Thesis]. University of Victoria; 2016. Available from: http://hdl.handle.net/1828/7462


University of Rochester

19. Papai, Tivadar (1984 - ). Exploiting constraints, sequential structure, and knowledge in Markov logic networks.

Degree: PhD, 2014, University of Rochester

 In this dissertation we propose extensions to Markov logic networks that can improve inference and learning by exploiting deterministic constraints, expert knowledge or se- quential/temporal… (more)

Subjects/Keywords: Constraint programming; Exponential families; Markov logic; Modal logic; Random fields; Sequential domains

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Papai, T. (. -. ). (2014). Exploiting constraints, sequential structure, and knowledge in Markov logic networks. (Doctoral Dissertation). University of Rochester. Retrieved from http://hdl.handle.net/1802/28364

Chicago Manual of Style (16th Edition):

Papai, Tivadar (1984 - ). “Exploiting constraints, sequential structure, and knowledge in Markov logic networks.” 2014. Doctoral Dissertation, University of Rochester. Accessed August 18, 2019. http://hdl.handle.net/1802/28364.

MLA Handbook (7th Edition):

Papai, Tivadar (1984 - ). “Exploiting constraints, sequential structure, and knowledge in Markov logic networks.” 2014. Web. 18 Aug 2019.

Vancouver:

Papai T(-). Exploiting constraints, sequential structure, and knowledge in Markov logic networks. [Internet] [Doctoral dissertation]. University of Rochester; 2014. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/1802/28364.

Council of Science Editors:

Papai T(-). Exploiting constraints, sequential structure, and knowledge in Markov logic networks. [Doctoral Dissertation]. University of Rochester; 2014. Available from: http://hdl.handle.net/1802/28364


Vilnius University

20. Laučiškaitė, Viktorija. Modalumo logikos S4 kai kurios išsprendžiamos klasės.

Degree: Master, 2014, Vilnius University

Šiame darbe mes apžvelgėme modalumo logiką S4 bei kvantorinę modalumo logiką S4. Taip pat jų taisykles, aksiomas ir naudojamus skaičiavimus. Pateikėme kelias sekvencijų išvedimo pavyzdžių.… (more)

Subjects/Keywords: Modalumo logika S4; Išsprendžiamos klasės; Modal logic S4; Decidable Classes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Laučiškaitė, Viktorija. (2014). Modalumo logikos S4 kai kurios išsprendžiamos klasės. (Masters Thesis). Vilnius University. Retrieved from http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20140702_193638-23336 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

Laučiškaitė, Viktorija. “Modalumo logikos S4 kai kurios išsprendžiamos klasės.” 2014. Masters Thesis, Vilnius University. Accessed August 18, 2019. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20140702_193638-23336 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

Laučiškaitė, Viktorija. “Modalumo logikos S4 kai kurios išsprendžiamos klasės.” 2014. Web. 18 Aug 2019.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Laučiškaitė, Viktorija. Modalumo logikos S4 kai kurios išsprendžiamos klasės. [Internet] [Masters thesis]. Vilnius University; 2014. [cited 2019 Aug 18]. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20140702_193638-23336 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

Laučiškaitė, Viktorija. Modalumo logikos S4 kai kurios išsprendžiamos klasės. [Masters Thesis]. Vilnius University; 2014. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20140702_193638-23336 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


Universidade do Rio Grande do Sul

21. Borges, Rafael Vergara. Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas.

Degree: 2007, Universidade do Rio Grande do Sul

A inteligência computacional é considerada por diferentes autores da atualidade como o destino manifesto da Ciência da Computação. A modelagem de diversos aspectos da cognição,… (more)

Subjects/Keywords: Neural-symbolic integration; Lógica modal; Temporal logic; Redes neurais; Empirical learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Borges, R. V. (2007). Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/11488

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Borges, Rafael Vergara. “Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas.” 2007. Thesis, Universidade do Rio Grande do Sul. Accessed August 18, 2019. http://hdl.handle.net/10183/11488.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Borges, Rafael Vergara. “Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas.” 2007. Web. 18 Aug 2019.

Vancouver:

Borges RV. Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2007. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/10183/11488.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Borges RV. Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas. [Thesis]. Universidade do Rio Grande do Sul; 2007. Available from: http://hdl.handle.net/10183/11488

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Royal Holloway, University of London

22. Turner, Raymond. A constructive theory of counterfactuality and other modalities.

Degree: PhD, 1981, Royal Holloway, University of London

Subjects/Keywords: 410; Modal logic; Semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Turner, R. (1981). A constructive theory of counterfactuality and other modalities. (Doctoral Dissertation). Royal Holloway, University of London. Retrieved from http://repository.royalholloway.ac.uk/items/a3626877-e65b-42d2-bf28-88c6d2ee178e/1/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.318991

Chicago Manual of Style (16th Edition):

Turner, Raymond. “A constructive theory of counterfactuality and other modalities.” 1981. Doctoral Dissertation, Royal Holloway, University of London. Accessed August 18, 2019. http://repository.royalholloway.ac.uk/items/a3626877-e65b-42d2-bf28-88c6d2ee178e/1/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.318991.

MLA Handbook (7th Edition):

Turner, Raymond. “A constructive theory of counterfactuality and other modalities.” 1981. Web. 18 Aug 2019.

Vancouver:

Turner R. A constructive theory of counterfactuality and other modalities. [Internet] [Doctoral dissertation]. Royal Holloway, University of London; 1981. [cited 2019 Aug 18]. Available from: http://repository.royalholloway.ac.uk/items/a3626877-e65b-42d2-bf28-88c6d2ee178e/1/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.318991.

Council of Science Editors:

Turner R. A constructive theory of counterfactuality and other modalities. [Doctoral Dissertation]. Royal Holloway, University of London; 1981. Available from: http://repository.royalholloway.ac.uk/items/a3626877-e65b-42d2-bf28-88c6d2ee178e/1/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.318991

23. Vecchio, Daniel James. Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical Study.

Degree: 2016, Marquette University

 The following is a critical and historical account of Aristotelian Essentialism informed by recent work on Aristotle’s modal syllogistic. The semantics of the modal syllogistic… (more)

Subjects/Keywords: Aristotle; Essentialism; Metaphysics; Modal Logic; Prior Analytics; Syllogisms; Metaphysics; Philosophy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vecchio, D. J. (2016). Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical Study. (Thesis). Marquette University. Retrieved from https://epublications.marquette.edu/dissertations_mu/686

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Vecchio, Daniel James. “Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical Study.” 2016. Thesis, Marquette University. Accessed August 18, 2019. https://epublications.marquette.edu/dissertations_mu/686.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Vecchio, Daniel James. “Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical Study.” 2016. Web. 18 Aug 2019.

Vancouver:

Vecchio DJ. Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical Study. [Internet] [Thesis]. Marquette University; 2016. [cited 2019 Aug 18]. Available from: https://epublications.marquette.edu/dissertations_mu/686.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Vecchio DJ. Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical Study. [Thesis]. Marquette University; 2016. Available from: https://epublications.marquette.edu/dissertations_mu/686

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Georgia State University

24. Peck, Zachary. A Critique of Compatibilist-Libertarianism.

Degree: MA, Philosophy, 2018, Georgia State University

  Christian List has recently defended what he refers to as a compatibilist-libertarian theory of free will. He attempts to satisfy the libertarian requirement for… (more)

Subjects/Keywords: Modal logic; Free will; Compatibilism; Libertarianism; Determinism; Levels

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Peck, Z. (2018). A Critique of Compatibilist-Libertarianism. (Thesis). Georgia State University. Retrieved from https://scholarworks.gsu.edu/philosophy_theses/238

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Peck, Zachary. “A Critique of Compatibilist-Libertarianism.” 2018. Thesis, Georgia State University. Accessed August 18, 2019. https://scholarworks.gsu.edu/philosophy_theses/238.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Peck, Zachary. “A Critique of Compatibilist-Libertarianism.” 2018. Web. 18 Aug 2019.

Vancouver:

Peck Z. A Critique of Compatibilist-Libertarianism. [Internet] [Thesis]. Georgia State University; 2018. [cited 2019 Aug 18]. Available from: https://scholarworks.gsu.edu/philosophy_theses/238.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Peck Z. A Critique of Compatibilist-Libertarianism. [Thesis]. Georgia State University; 2018. Available from: https://scholarworks.gsu.edu/philosophy_theses/238

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Vilnius University

25. Andrikonis, Julius. Efektyvus metodas baigtinei išvedimo paieškai tranzityviose multimodalinėse logikose gauti.

Degree: PhD, Mathematics, 2011, Vilnius University

Disertacijoje nagrinėjamos žinių logikos su centrinio agento sąveikos aksioma. Tyrimas apima multimodalines logikas Kn, Tn, K4n ir S4n. Disertacijos tikslas – baigtinės išvedimo paieškos sekvenciniai… (more)

Subjects/Keywords: Modalumo logika; Baigtinumas; Išvedimo paieška; Modal logic; Termination; Proof-search

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Andrikonis, J. (2011). Efektyvus metodas baigtinei išvedimo paieškai tranzityviose multimodalinėse logikose gauti. (Doctoral Dissertation). Vilnius University. Retrieved from http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20111227_091359-46801 ;

Chicago Manual of Style (16th Edition):

Andrikonis, Julius. “Efektyvus metodas baigtinei išvedimo paieškai tranzityviose multimodalinėse logikose gauti.” 2011. Doctoral Dissertation, Vilnius University. Accessed August 18, 2019. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20111227_091359-46801 ;.

MLA Handbook (7th Edition):

Andrikonis, Julius. “Efektyvus metodas baigtinei išvedimo paieškai tranzityviose multimodalinėse logikose gauti.” 2011. Web. 18 Aug 2019.

Vancouver:

Andrikonis J. Efektyvus metodas baigtinei išvedimo paieškai tranzityviose multimodalinėse logikose gauti. [Internet] [Doctoral dissertation]. Vilnius University; 2011. [cited 2019 Aug 18]. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20111227_091359-46801 ;.

Council of Science Editors:

Andrikonis J. Efektyvus metodas baigtinei išvedimo paieškai tranzityviose multimodalinėse logikose gauti. [Doctoral Dissertation]. Vilnius University; 2011. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20111227_091359-46801 ;


Vilnius University

26. Andrikonis, Julius. Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics.

Degree: Dissertation, Mathematics, 2011, Vilnius University

In the dissertation epistemic logics with central agent interaction axiom are analysed. The research covers multimodal logics Kn, Tn, K4n and S4n. The aim of… (more)

Subjects/Keywords: Modal logic; Termination; Proof-search; Modalumo logika; Baigtinumas; Išvedimo paieška

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Andrikonis, J. (2011). Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics. (Doctoral Dissertation). Vilnius University. Retrieved from http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20111227_091412-58067 ;

Chicago Manual of Style (16th Edition):

Andrikonis, Julius. “Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics.” 2011. Doctoral Dissertation, Vilnius University. Accessed August 18, 2019. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20111227_091412-58067 ;.

MLA Handbook (7th Edition):

Andrikonis, Julius. “Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics.” 2011. Web. 18 Aug 2019.

Vancouver:

Andrikonis J. Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics. [Internet] [Doctoral dissertation]. Vilnius University; 2011. [cited 2019 Aug 18]. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20111227_091412-58067 ;.

Council of Science Editors:

Andrikonis J. Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics. [Doctoral Dissertation]. Vilnius University; 2011. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20111227_091412-58067 ;


Victoria University of Wellington

27. Friggens, David. A Modal Proof Theory for Polynomial Coalgebras.

Degree: 2004, Victoria University of Wellington

 The abstract mathematical structures known as coalgebras are of increasing interest in computer science for their use in modelling certain types of data structures and… (more)

Subjects/Keywords: Modal logic; Coalgebra; Proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Friggens, D. (2004). A Modal Proof Theory for Polynomial Coalgebras. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/92

Chicago Manual of Style (16th Edition):

Friggens, David. “A Modal Proof Theory for Polynomial Coalgebras.” 2004. Masters Thesis, Victoria University of Wellington. Accessed August 18, 2019. http://hdl.handle.net/10063/92.

MLA Handbook (7th Edition):

Friggens, David. “A Modal Proof Theory for Polynomial Coalgebras.” 2004. Web. 18 Aug 2019.

Vancouver:

Friggens D. A Modal Proof Theory for Polynomial Coalgebras. [Internet] [Masters thesis]. Victoria University of Wellington; 2004. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/10063/92.

Council of Science Editors:

Friggens D. A Modal Proof Theory for Polynomial Coalgebras. [Masters Thesis]. Victoria University of Wellington; 2004. Available from: http://hdl.handle.net/10063/92


AUT University

28. Litchfield, Alan Te Morenga. The semantics of work in a work system: a pragmatic philosophy of Information Systems .

Degree: 2012, AUT University

 The study is a philosophical investigation into the semantics of Work in the Work System. In the field of Information Systems the Work System concept… (more)

Subjects/Keywords: Information Systems; Pragmatism; Philosophy; Work; Work system; Semantics; Modal logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Litchfield, A. T. M. (2012). The semantics of work in a work system: a pragmatic philosophy of Information Systems . (Thesis). AUT University. Retrieved from http://hdl.handle.net/10292/4517

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Litchfield, Alan Te Morenga. “The semantics of work in a work system: a pragmatic philosophy of Information Systems .” 2012. Thesis, AUT University. Accessed August 18, 2019. http://hdl.handle.net/10292/4517.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Litchfield, Alan Te Morenga. “The semantics of work in a work system: a pragmatic philosophy of Information Systems .” 2012. Web. 18 Aug 2019.

Vancouver:

Litchfield ATM. The semantics of work in a work system: a pragmatic philosophy of Information Systems . [Internet] [Thesis]. AUT University; 2012. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/10292/4517.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Litchfield ATM. The semantics of work in a work system: a pragmatic philosophy of Information Systems . [Thesis]. AUT University; 2012. Available from: http://hdl.handle.net/10292/4517

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Edinburgh

29. Gutierrez, Julian. On bisimulation and model-checking for concurrent systems with partial order semantics.

Degree: PhD, 2011, University of Edinburgh

 In concurrency theory—the branch of (theoretical) computer science that studies the logical and mathematical foundations of parallel computation—there are two main formal ways of modelling… (more)

Subjects/Keywords: 004.01; mathematical logic; true concurrency; infinite games; fixpoint modal logics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gutierrez, J. (2011). On bisimulation and model-checking for concurrent systems with partial order semantics. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/5281

Chicago Manual of Style (16th Edition):

Gutierrez, Julian. “On bisimulation and model-checking for concurrent systems with partial order semantics.” 2011. Doctoral Dissertation, University of Edinburgh. Accessed August 18, 2019. http://hdl.handle.net/1842/5281.

MLA Handbook (7th Edition):

Gutierrez, Julian. “On bisimulation and model-checking for concurrent systems with partial order semantics.” 2011. Web. 18 Aug 2019.

Vancouver:

Gutierrez J. On bisimulation and model-checking for concurrent systems with partial order semantics. [Internet] [Doctoral dissertation]. University of Edinburgh; 2011. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/1842/5281.

Council of Science Editors:

Gutierrez J. On bisimulation and model-checking for concurrent systems with partial order semantics. [Doctoral Dissertation]. University of Edinburgh; 2011. Available from: http://hdl.handle.net/1842/5281


McMaster University

30. Khan, Ahmed Jamil. Modelling Fault Tolerance using Deontic Logic: a case study.

Degree: MSc, 2012, McMaster University

Many computer systems in our daily life require highly available applications (such as medical equipment) and some others run on difficult to access places… (more)

Subjects/Keywords: Fault Tolerance; Deontic Logic; Modal Logic; High Level Modelling; First Order Logic; Computational Engineering; Other Computer Engineering; Computational Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Khan, A. J. (2012). Modelling Fault Tolerance using Deontic Logic: a case study. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/12741

Chicago Manual of Style (16th Edition):

Khan, Ahmed Jamil. “Modelling Fault Tolerance using Deontic Logic: a case study.” 2012. Masters Thesis, McMaster University. Accessed August 18, 2019. http://hdl.handle.net/11375/12741.

MLA Handbook (7th Edition):

Khan, Ahmed Jamil. “Modelling Fault Tolerance using Deontic Logic: a case study.” 2012. Web. 18 Aug 2019.

Vancouver:

Khan AJ. Modelling Fault Tolerance using Deontic Logic: a case study. [Internet] [Masters thesis]. McMaster University; 2012. [cited 2019 Aug 18]. Available from: http://hdl.handle.net/11375/12741.

Council of Science Editors:

Khan AJ. Modelling Fault Tolerance using Deontic Logic: a case study. [Masters Thesis]. McMaster University; 2012. Available from: http://hdl.handle.net/11375/12741

[1] [2] [3] [4]

.