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 117 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 February 28, 2020. http://hdl.handle.net/1842/4208.

MLA Handbook (7th Edition):

Jungteerapanich, Natthapong. “Tableau systems for the modal μ-calculus.” 2010. Web. 28 Feb 2020.

Vancouver:

Jungteerapanich N. Tableau systems for the modal μ-calculus. [Internet] [Doctoral dissertation]. University of Edinburgh; 2010. [cited 2020 Feb 28]. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Coscarelli BC. Introdução à Lógica Modal. [Internet] [Masters thesis]. University of São Paulo; 2009. [cited 2020 Feb 28]. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Pankov A. The Other-Condemning Moral Emotions - A Modal Logic Approach. [Internet] [Masters thesis]. Universiteit Utrecht; 2015. [cited 2020 Feb 28]. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Bjorndahl A. Language-Based Games . [Internet] [Thesis]. Cornell University; 2014. [cited 2020 Feb 28]. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Creel JS. Intention is commitment with expectation. [Internet] [Thesis]. Texas A&M University; 2005. [cited 2020 Feb 28]. 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


University of Illinois – Urbana-Champaign

6. 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 February 28, 2020. http://hdl.handle.net/2142/24239.

MLA Handbook (7th Edition):

Shirazi, Afsaneh H. “Reasoning with models of probabilistic knowledge over probabilistic knowledge.” 2011. Web. 28 Feb 2020.

Vancouver:

Shirazi AH. Reasoning with models of probabilistic knowledge over probabilistic knowledge. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2020 Feb 28]. 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

7. 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 February 28, 2020. 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. 28 Feb 2020.

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 2020 Feb 28]. 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.

8. Pensgard, David. Hegel's Modal Ontological Argument.

Degree: 2019, The Catholic University of America

A recent trend in Hegel scholarship has recognized an irreducibly metaphysical component. Unlike traditional metaphysical views, this trend, sometimes referred to as the revised metaphysical… (more)

Subjects/Keywords: disjunctive syllogism; Hegel; modal; modal logic; ontological; ontological argument

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pensgard, D. (2019). Hegel's Modal Ontological Argument. (Thesis). The Catholic University of America. Retrieved from http://hdl.handle.net/1961/cuislandora:213632

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):

Pensgard, David. “Hegel's Modal Ontological Argument.” 2019. Thesis, The Catholic University of America. Accessed February 28, 2020. http://hdl.handle.net/1961/cuislandora:213632.

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

MLA Handbook (7th Edition):

Pensgard, David. “Hegel's Modal Ontological Argument.” 2019. Web. 28 Feb 2020.

Vancouver:

Pensgard D. Hegel's Modal Ontological Argument. [Internet] [Thesis]. The Catholic University of America; 2019. [cited 2020 Feb 28]. Available from: http://hdl.handle.net/1961/cuislandora:213632.

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

Council of Science Editors:

Pensgard D. Hegel's Modal Ontological Argument. [Thesis]. The Catholic University of America; 2019. Available from: http://hdl.handle.net/1961/cuislandora:213632

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


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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Fritz P. Intensional type theory for higher-order contingentism. [Internet] [Doctoral dissertation]. University of Oxford; 2015. [cited 2020 Feb 28]. 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 https://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; https://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 February 28, 2020. https://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; https://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. 28 Feb 2020.

Vancouver:

Rendsvig RK. Logical Dynamics and Dynamical Systems. [Internet] [Doctoral dissertation]. University of Lund; 2018. [cited 2020 Feb 28]. Available from: https://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; https://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: https://lup.lub.lu.se/record/08f57b4b-428c-4af9-b31b-2762e8fd7c00 ; https://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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Salvatore FdS. Topics in modal quantification theory. [Internet] [Masters thesis]. University of São Paulo; 2015. [cited 2020 Feb 28]. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Gao F. A Short and Readable Proof of Cut Elimination for Two 1st Order Modal Logics. [Internet] [Masters thesis]. York University; 2016. [cited 2020 Feb 28]. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Grossi D. Designing invisible handcuffs : Formal investigations in institutions and organizations for multi-agent systems. [Internet] [Doctoral dissertation]. Universiteit Utrecht; 2007. [cited 2020 Feb 28]. 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 February 28, 2020. http://hdl.handle.net/11343/58430.

MLA Handbook (7th Edition):

Su, Che-Ping. “Justification logics for conflicting Information.” 2015. Web. 28 Feb 2020.

Vancouver:

Su C. Justification logics for conflicting Information. [Internet] [Doctoral dissertation]. University of Melbourne; 2015. [cited 2020 Feb 28]. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Falcão PAA. Aspectos da teoria de funções modais. [Internet] [Masters thesis]. University of São Paulo; 2012. [cited 2020 Feb 28]. 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 Rochester

16. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Papai T(-). Exploiting constraints, sequential structure, and knowledge in Markov logic networks. [Internet] [Doctoral dissertation]. University of Rochester; 2014. [cited 2020 Feb 28]. 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


University of Western Australia

17. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

McCabe-Dansted JC. A temporal logic of robustness. [Internet] [Doctoral dissertation]. University of Western Australia; 2011. [cited 2020 Feb 28]. 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

18. 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 February 28, 2020. etd-10242012-153450 ; https://digitalcommons.lsu.edu/gradschool_dissertations/1220.

MLA Handbook (7th Edition):

Peralta, Manuel Alfonso. “Perpetual requirements engineering.” 2012. Web. 28 Feb 2020.

Vancouver:

Peralta MA. Perpetual requirements engineering. [Internet] [Doctoral dissertation]. Louisiana State University; 2012. [cited 2020 Feb 28]. 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

19. 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 February 28, 2020. http://hdl.handle.net/1828/7462.

MLA Handbook (7th Edition):

Boyer, Wanda B K. “A decision and minimization procedure for modal logic.” 2016. Web. 28 Feb 2020.

Vancouver:

Boyer WBK. A decision and minimization procedure for modal logic. [Internet] [Masters thesis]. University of Victoria; 2016. [cited 2020 Feb 28]. 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


Royal Holloway, University of London

20. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Turner R. A constructive theory of counterfactuality and other modalities. [Internet] [Doctoral dissertation]. Royal Holloway, University of London; 1981. [cited 2020 Feb 28]. 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

21. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Vecchio DJ. Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical Study. [Internet] [Thesis]. Marquette University; 2016. [cited 2020 Feb 28]. 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


Victoria University of Wellington

22. 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 February 28, 2020. http://hdl.handle.net/10063/92.

MLA Handbook (7th Edition):

Friggens, David. “A Modal Proof Theory for Polynomial Coalgebras.” 2004. Web. 28 Feb 2020.

Vancouver:

Friggens D. A Modal Proof Theory for Polynomial Coalgebras. [Internet] [Masters thesis]. Victoria University of Wellington; 2004. [cited 2020 Feb 28]. 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


Vilnius University

23. 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 February 28, 2020. 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. 28 Feb 2020.

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 2020 Feb 28]. 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

24. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Borges RV. Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2007. [cited 2020 Feb 28]. 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


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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Andrikonis J. Efektyvus metodas baigtinei išvedimo paieškai tranzityviose multimodalinėse logikose gauti. [Internet] [Doctoral dissertation]. Vilnius University; 2011. [cited 2020 Feb 28]. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Andrikonis J. Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics. [Internet] [Doctoral dissertation]. Vilnius University; 2011. [cited 2020 Feb 28]. 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 ;


University of Edinburgh

27. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Gutierrez J. On bisimulation and model-checking for concurrent systems with partial order semantics. [Internet] [Doctoral dissertation]. University of Edinburgh; 2011. [cited 2020 Feb 28]. 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


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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Litchfield ATM. The semantics of work in a work system: a pragmatic philosophy of Information Systems . [Internet] [Thesis]. AUT University; 2012. [cited 2020 Feb 28]. 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


Georgia State University

29. 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 February 28, 2020. 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. 28 Feb 2020.

Vancouver:

Peck Z. A Critique of Compatibilist-Libertarianism. [Internet] [Thesis]. Georgia State University; 2018. [cited 2020 Feb 28]. 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


University of Pennsylvania

30. Dinesh, Nikhil. Regulatory Conformance Checking: Logic and Logical Form.

Degree: 2010, University of Pennsylvania

 We consider the problem of checking whether an organization conforms to a body of regulation. Conformance is studied in a runtime verification setting. The regulation… (more)

Subjects/Keywords: modal logic; access control; conformance; deontic logic; logical form; scope; Logic and Foundations of Mathematics; Other Computer Engineering; Semantics and Pragmatics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dinesh, N. (2010). Regulatory Conformance Checking: Logic and Logical Form. (Thesis). University of Pennsylvania. Retrieved from https://repository.upenn.edu/edissertations/295

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):

Dinesh, Nikhil. “Regulatory Conformance Checking: Logic and Logical Form.” 2010. Thesis, University of Pennsylvania. Accessed February 28, 2020. https://repository.upenn.edu/edissertations/295.

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

MLA Handbook (7th Edition):

Dinesh, Nikhil. “Regulatory Conformance Checking: Logic and Logical Form.” 2010. Web. 28 Feb 2020.

Vancouver:

Dinesh N. Regulatory Conformance Checking: Logic and Logical Form. [Internet] [Thesis]. University of Pennsylvania; 2010. [cited 2020 Feb 28]. Available from: https://repository.upenn.edu/edissertations/295.

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

Council of Science Editors:

Dinesh N. Regulatory Conformance Checking: Logic and Logical Form. [Thesis]. University of Pennsylvania; 2010. Available from: https://repository.upenn.edu/edissertations/295

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

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

.