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 61 – 90 of 114 total matches.

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

Search Limiters

Last 2 Years | English Only

Levels

Country

▼ Search Limiters

61. Smith, Jared. A Fitch-style derivation system for hybrid logic.

Degree: MA, Philosophy, 2014, University of Georgia

 Standard modal logic is typically parsed as concerning possible worlds. However there is no way for normal modal logic to refer to those possible worlds… (more)

Subjects/Keywords: Hybrid Logic; Modal Logic; Fitch-style Natural Deduction

…The subject matter of modal logic is the mode of statements. Typically that means a… …and possibility are the priority of the alethic logic branch of modal logic. Modal logic… …covers other, related, types of qualifiers. Doxastic logic is a branch of modal logic that… …logic. What connects these and all the modal logics together is that the truth of a modal… …sentential logic formula, but they are insufficient for modal statements. Consider what happens in… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Smith, J. (2014). A Fitch-style derivation system for hybrid logic. (Masters Thesis). University of Georgia. Retrieved from http://purl.galileo.usg.edu/uga_etd/smith_jared_201405_ma

Chicago Manual of Style (16th Edition):

Smith, Jared. “A Fitch-style derivation system for hybrid logic.” 2014. Masters Thesis, University of Georgia. Accessed July 17, 2019. http://purl.galileo.usg.edu/uga_etd/smith_jared_201405_ma.

MLA Handbook (7th Edition):

Smith, Jared. “A Fitch-style derivation system for hybrid logic.” 2014. Web. 17 Jul 2019.

Vancouver:

Smith J. A Fitch-style derivation system for hybrid logic. [Internet] [Masters thesis]. University of Georgia; 2014. [cited 2019 Jul 17]. Available from: http://purl.galileo.usg.edu/uga_etd/smith_jared_201405_ma.

Council of Science Editors:

Smith J. A Fitch-style derivation system for hybrid logic. [Masters Thesis]. University of Georgia; 2014. Available from: http://purl.galileo.usg.edu/uga_etd/smith_jared_201405_ma

62. Lando, Tamar Ariela. Probabilistic Semantics for Modal Logic.

Degree: Philosophy, 2012, University of California – Berkeley

 We develop a probabilistic semantics for modal logic, which was introduced in recent years by Dana Scott. This semantics is intimately related to an older,… (more)

Subjects/Keywords: Philosophy; Logic; Mathematics; Completeness; Modal logic; Probabilistic semantics

…has now gone by since S. Kripke introduced Kripke semantics for modal logic. This semantics… …framework. But long before Kripke, there was Tarski. Looking at the axioms for the modal logic, S4… …converges, converges to a single point; and so on. What Tarski showed is that modal logic can be… …interpreted in topological spaces, and that—in a sense to be further specified below—the modal logic… …now called the topological semantics for modal logic. Their elegant completeness results… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lando, T. A. (2012). Probabilistic Semantics for Modal Logic. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/6df2g3xv

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

Lando, Tamar Ariela. “Probabilistic Semantics for Modal Logic.” 2012. Thesis, University of California – Berkeley. Accessed July 17, 2019. http://www.escholarship.org/uc/item/6df2g3xv.

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

MLA Handbook (7th Edition):

Lando, Tamar Ariela. “Probabilistic Semantics for Modal Logic.” 2012. Web. 17 Jul 2019.

Vancouver:

Lando TA. Probabilistic Semantics for Modal Logic. [Internet] [Thesis]. University of California – Berkeley; 2012. [cited 2019 Jul 17]. Available from: http://www.escholarship.org/uc/item/6df2g3xv.

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

Council of Science Editors:

Lando TA. Probabilistic Semantics for Modal Logic. [Thesis]. University of California – Berkeley; 2012. Available from: http://www.escholarship.org/uc/item/6df2g3xv

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

63. Franken, R. A Plausibility driven XSTIT operator.

Degree: 2013, Universiteit Utrecht

Combining xstit logics with plausibility models to reason with expectations on which actions other agents will perform Advisors/Committee Members: Broersen, J.

Subjects/Keywords: xstit; logic; modal logic; plausibility models; action; uncertainty

…x5D; B.F. Chellas. Modal logic: an introduction. Cambridge university press, 1980. [10… …M. Pauly. A modal logic for coalitional power in games. Journal of logic and computation… …possible worlds not satisfying ϕ, and if s |= Ka ϕ we actually know ϕ. Remark: Another modal… …symmetric relation (∼a is symmetric). A modal operator on reflexive transitive and… …follows sRa t iff t ∈ min(s(a)) and use that for our modal operator. Since… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Franken, R. (2013). A Plausibility driven XSTIT operator. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/282671

Chicago Manual of Style (16th Edition):

Franken, R. “A Plausibility driven XSTIT operator.” 2013. Masters Thesis, Universiteit Utrecht. Accessed July 17, 2019. http://dspace.library.uu.nl:8080/handle/1874/282671.

MLA Handbook (7th Edition):

Franken, R. “A Plausibility driven XSTIT operator.” 2013. Web. 17 Jul 2019.

Vancouver:

Franken R. A Plausibility driven XSTIT operator. [Internet] [Masters thesis]. Universiteit Utrecht; 2013. [cited 2019 Jul 17]. Available from: http://dspace.library.uu.nl:8080/handle/1874/282671.

Council of Science Editors:

Franken R. A Plausibility driven XSTIT operator. [Masters Thesis]. Universiteit Utrecht; 2013. Available from: http://dspace.library.uu.nl:8080/handle/1874/282671


Delft University of Technology

64. Wiegel, V. Sopholab: Experimental computational philosophy.

Degree: 2007, Delft University of Technology

 In this book, the extend to which we can equip artificial agents with moral reasoning capacity is investigated. Attempting to create artificial agents with moral… (more)

Subjects/Keywords: moral philosophy; computational philosophy; privacy; software agent; deontic logic; modal logic; mas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wiegel, V. (2007). Sopholab: Experimental computational philosophy. (Doctoral Dissertation). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; urn:NBN:nl:ui:24-uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; urn:NBN:nl:ui:24-uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; http://resolver.tudelft.nl/uuid:9de882ac-97c7-4a46-9491-9730ff874af3

Chicago Manual of Style (16th Edition):

Wiegel, V. “Sopholab: Experimental computational philosophy.” 2007. Doctoral Dissertation, Delft University of Technology. Accessed July 17, 2019. http://resolver.tudelft.nl/uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; urn:NBN:nl:ui:24-uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; urn:NBN:nl:ui:24-uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; http://resolver.tudelft.nl/uuid:9de882ac-97c7-4a46-9491-9730ff874af3.

MLA Handbook (7th Edition):

Wiegel, V. “Sopholab: Experimental computational philosophy.” 2007. Web. 17 Jul 2019.

Vancouver:

Wiegel V. Sopholab: Experimental computational philosophy. [Internet] [Doctoral dissertation]. Delft University of Technology; 2007. [cited 2019 Jul 17]. Available from: http://resolver.tudelft.nl/uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; urn:NBN:nl:ui:24-uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; urn:NBN:nl:ui:24-uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; http://resolver.tudelft.nl/uuid:9de882ac-97c7-4a46-9491-9730ff874af3.

Council of Science Editors:

Wiegel V. Sopholab: Experimental computational philosophy. [Doctoral Dissertation]. Delft University of Technology; 2007. Available from: http://resolver.tudelft.nl/uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; urn:NBN:nl:ui:24-uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; urn:NBN:nl:ui:24-uuid:9de882ac-97c7-4a46-9491-9730ff874af3 ; http://resolver.tudelft.nl/uuid:9de882ac-97c7-4a46-9491-9730ff874af3


University of Oxford

65. Dosen, Kosta. Logical constants : an essay in proof theory.

Degree: 1980, University of Oxford

 [Abridged abstract] The goal is to give structural proof-theoretical analyses of logical constants, and thereby provide a criterion for what a logical constant is. Another… (more)

Subjects/Keywords: 510; Mathematical logic and foundations : Logic : logical constants : analysis : substructural logics : modal logic : uniqueness

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dosen, K. (1980). Logical constants : an essay in proof theory. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:bdf47c54-66b4-493b-9648-92c94c0f70a5 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.254815

Chicago Manual of Style (16th Edition):

Dosen, Kosta. “Logical constants : an essay in proof theory.” 1980. Doctoral Dissertation, University of Oxford. Accessed July 17, 2019. http://ora.ox.ac.uk/objects/uuid:bdf47c54-66b4-493b-9648-92c94c0f70a5 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.254815.

MLA Handbook (7th Edition):

Dosen, Kosta. “Logical constants : an essay in proof theory.” 1980. Web. 17 Jul 2019.

Vancouver:

Dosen K. Logical constants : an essay in proof theory. [Internet] [Doctoral dissertation]. University of Oxford; 1980. [cited 2019 Jul 17]. Available from: http://ora.ox.ac.uk/objects/uuid:bdf47c54-66b4-493b-9648-92c94c0f70a5 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.254815.

Council of Science Editors:

Dosen K. Logical constants : an essay in proof theory. [Doctoral Dissertation]. University of Oxford; 1980. Available from: http://ora.ox.ac.uk/objects/uuid:bdf47c54-66b4-493b-9648-92c94c0f70a5 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.254815

66. 鈴木, 康人. 推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み.

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

Supervisor:小野 寛晰

情報科学研究科

博士

Subjects/Keywords: 直観主義論理, 様相論理, 双対性, クリプキフレーム; intuitionistic logic, basic logic, modal logic, du

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

鈴木, . (n.d.). 推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/878

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

鈴木, 康人. “推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed July 17, 2019. http://hdl.handle.net/10119/878.

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

鈴木, 康人. “推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み.” Web. 17 Jul 2019.

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

Vancouver:

鈴木 . 推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10119/878.

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:

鈴木 . 推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/878

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


University of Gothenburg / Göteborgs Universitet

67. Strannegård, Claes. Arithmetical realizations of modal formulas. Preliminary version.

Degree: 1996, University of Gothenburg / Göteborgs Universitet

 This thesis deals with provability logic. Strengthenings are obtained of some arithmetical completeness theorems by Berarducci, Carlson, Shavrukov, and Solovay. Conditions are provided for recursively… (more)

Subjects/Keywords: arithmetic; degrees of interpretability; diagonalizable algebra; interpretability logic; Magari algebra; metamathematics; modal logic; provability logic.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Strannegård, C. (1996). Arithmetical realizations of modal formulas. Preliminary version. (Thesis). University of Gothenburg / Göteborgs Universitet. Retrieved from http://hdl.handle.net/2077/14320

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

Strannegård, Claes. “Arithmetical realizations of modal formulas. Preliminary version.” 1996. Thesis, University of Gothenburg / Göteborgs Universitet. Accessed July 17, 2019. http://hdl.handle.net/2077/14320.

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

MLA Handbook (7th Edition):

Strannegård, Claes. “Arithmetical realizations of modal formulas. Preliminary version.” 1996. Web. 17 Jul 2019.

Vancouver:

Strannegård C. Arithmetical realizations of modal formulas. Preliminary version. [Internet] [Thesis]. University of Gothenburg / Göteborgs Universitet; 1996. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/2077/14320.

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

Council of Science Editors:

Strannegård C. Arithmetical realizations of modal formulas. Preliminary version. [Thesis]. University of Gothenburg / Göteborgs Universitet; 1996. Available from: http://hdl.handle.net/2077/14320

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

68. Khan, Shakil Mahmud. Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals.

Degree: PhD, Computer Science, 2018, York University

 I introduce a specification language for modeling an agent's prioritized goals and their dynamics. I use the situation calculus along with Reiter's solution to the… (more)

Subjects/Keywords: Logic; Prioritized goals; Goal change; Intention; Reasoning about goals and goal dynamics; Logic of agency; Subgoals; Agent programming languages with declarative goals; Rationality; Rational behavior; Modal logic; Modelling mental states; Motivation; Desires; Intentional stance; Knowledge representation; Theory of mind; Common sense psychology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Khan, S. M. (2018). Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals. (Doctoral Dissertation). York University. Retrieved from http://hdl.handle.net/10315/35495

Chicago Manual of Style (16th Edition):

Khan, Shakil Mahmud. “Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals.” 2018. Doctoral Dissertation, York University. Accessed July 17, 2019. http://hdl.handle.net/10315/35495.

MLA Handbook (7th Edition):

Khan, Shakil Mahmud. “Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals.” 2018. Web. 17 Jul 2019.

Vancouver:

Khan SM. Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals. [Internet] [Doctoral dissertation]. York University; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10315/35495.

Council of Science Editors:

Khan SM. Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals. [Doctoral Dissertation]. York University; 2018. Available from: http://hdl.handle.net/10315/35495

69. 関, 隆宏. 適切様相論理の意味論的研究.

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

Supervisor:小野 寛晰

情報科学研究科

博士

Subjects/Keywords: 適切様相論理,完全性; relevant modal logic, completeness

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

関, . (n.d.). 適切様相論理の意味論的研究. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/925

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

関, 隆宏. “適切様相論理の意味論的研究.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed July 17, 2019. http://hdl.handle.net/10119/925.

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

関, 隆宏. “適切様相論理の意味論的研究.” Web. 17 Jul 2019.

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

Vancouver:

関 . 適切様相論理の意味論的研究. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10119/925.

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:

関 . 適切様相論理の意味論的研究. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/925

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

70. Frittella, Sabine. Monotone Modal Logic and Friends : Multi-level study of the control of a joystick-type device of interaction.

Degree: Docteur es, Informatique, 2014, Aix Marseille Université

Cette thèse étudie la théorie de la correspondance et la théorie des preuves pour la logique modale monotone et les logiques qui en sont proches.La… (more)

Subjects/Keywords: Logique modale monotone; Théorie de la correspondance; Treillis; Théorie des preuves; Display calculs; Logiques epistemiques; Pdl; Monotone modal logic; Correspondence theory; Lattices; Proof theory; Display calculi; Epistemic logics; Pdl

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Frittella, S. (2014). Monotone Modal Logic and Friends : Multi-level study of the control of a joystick-type device of interaction. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2014AIXM4751

Chicago Manual of Style (16th Edition):

Frittella, Sabine. “Monotone Modal Logic and Friends : Multi-level study of the control of a joystick-type device of interaction.” 2014. Doctoral Dissertation, Aix Marseille Université. Accessed July 17, 2019. http://www.theses.fr/2014AIXM4751.

MLA Handbook (7th Edition):

Frittella, Sabine. “Monotone Modal Logic and Friends : Multi-level study of the control of a joystick-type device of interaction.” 2014. Web. 17 Jul 2019.

Vancouver:

Frittella S. Monotone Modal Logic and Friends : Multi-level study of the control of a joystick-type device of interaction. [Internet] [Doctoral dissertation]. Aix Marseille Université 2014. [cited 2019 Jul 17]. Available from: http://www.theses.fr/2014AIXM4751.

Council of Science Editors:

Frittella S. Monotone Modal Logic and Friends : Multi-level study of the control of a joystick-type device of interaction. [Doctoral Dissertation]. Aix Marseille Université 2014. Available from: http://www.theses.fr/2014AIXM4751

71. Nygren, Karl. Trust Logics and Their Horn Fragments : Formalizing Socio-Cognitive Aspects of Trust.

Degree: The Institute of Technology, 2015, Linköping UniversityLinköping University

  This thesis investigates logical formalizations of Castelfranchi and Falcone's (C&F) theory of trust [9, 10, 11, 12]. The C&F theory of trust defines trust… (more)

Subjects/Keywords: Trust; modal logic; multi-agent systems; Horn fragment

…Trust logics: Formalizing the C&F theory of trust 3.1 A short introduction to modal logic… …topic of this thesis is such formalizations of the C&F theory using modal logic. 1.1 Goals… …relation to the C&F theory of trust. There is also a short introduction to modal logic. In… …be incorporated in a modal logic by introducing graded belief operators. Hübner and… …Demolombe [30] have extended a modal logic formalizing binary trust from containing only… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nygren, K. (2015). Trust Logics and Their Horn Fragments : Formalizing Socio-Cognitive Aspects of Trust. (Thesis). Linköping UniversityLinköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-115251

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

Nygren, Karl. “Trust Logics and Their Horn Fragments : Formalizing Socio-Cognitive Aspects of Trust.” 2015. Thesis, Linköping UniversityLinköping University. Accessed July 17, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-115251.

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

MLA Handbook (7th Edition):

Nygren, Karl. “Trust Logics and Their Horn Fragments : Formalizing Socio-Cognitive Aspects of Trust.” 2015. Web. 17 Jul 2019.

Vancouver:

Nygren K. Trust Logics and Their Horn Fragments : Formalizing Socio-Cognitive Aspects of Trust. [Internet] [Thesis]. Linköping UniversityLinköping University; 2015. [cited 2019 Jul 17]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-115251.

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

Council of Science Editors:

Nygren K. Trust Logics and Their Horn Fragments : Formalizing Socio-Cognitive Aspects of Trust. [Thesis]. Linköping UniversityLinköping University; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-115251

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

72. Boudou, Joseph. Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence : Decision procedures for modal logics of actions, resources and concurrency.

Degree: Docteur es, Intelligence artificielle, 2016, Université Toulouse III – Paul Sabatier

 Les concepts d'action et de ressource sont omniprésents en informatique. La caractéristique principale d'une action est de changer l'état actuel du système modélisé. Une action… (more)

Subjects/Keywords: Logiques modales; Décidabilité; Complexité; Expressivité; Procédures de décision; Logique dynamique propositionnelle; Logiques de séparation; Modalités binaires; Modal logics; Decidability; Complexity; Expressivity; Decision procedures; Propositional dynamic logic; Separation logics; Binary modalities

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Boudou, J. (2016). Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence : Decision procedures for modal logics of actions, resources and concurrency. (Doctoral Dissertation). Université Toulouse III – Paul Sabatier. Retrieved from http://www.theses.fr/2016TOU30145

Chicago Manual of Style (16th Edition):

Boudou, Joseph. “Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence : Decision procedures for modal logics of actions, resources and concurrency.” 2016. Doctoral Dissertation, Université Toulouse III – Paul Sabatier. Accessed July 17, 2019. http://www.theses.fr/2016TOU30145.

MLA Handbook (7th Edition):

Boudou, Joseph. “Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence : Decision procedures for modal logics of actions, resources and concurrency.” 2016. Web. 17 Jul 2019.

Vancouver:

Boudou J. Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence : Decision procedures for modal logics of actions, resources and concurrency. [Internet] [Doctoral dissertation]. Université Toulouse III – Paul Sabatier; 2016. [cited 2019 Jul 17]. Available from: http://www.theses.fr/2016TOU30145.

Council of Science Editors:

Boudou J. Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence : Decision procedures for modal logics of actions, resources and concurrency. [Doctoral Dissertation]. Université Toulouse III – Paul Sabatier; 2016. Available from: http://www.theses.fr/2016TOU30145

73. Duijf, H.W.A. Let's do it! : Collective responsibility, joint action, and participation.

Degree: 2018, University Utrecht

 Do responsibility voids exist? That is, are there situations in which the group is collectively morally responsible for an outcome although no member can be… (more)

Subjects/Keywords: Collective responsibility; Cooperation; Participation; Action theory; Game theory; Modal logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Duijf, H. W. A. (2018). Let's do it! : Collective responsibility, joint action, and participation. (Doctoral Dissertation). University Utrecht. Retrieved from http://dspace.library.uu.nl/handle/1874/364155 ; URN:NBN:NL:UI:10-1874-364155 ; urn:isbn:978-94-6103-066-5 ; URN:NBN:NL:UI:10-1874-364155 ; http://dspace.library.uu.nl/handle/1874/364155

Chicago Manual of Style (16th Edition):

Duijf, H W A. “Let's do it! : Collective responsibility, joint action, and participation.” 2018. Doctoral Dissertation, University Utrecht. Accessed July 17, 2019. http://dspace.library.uu.nl/handle/1874/364155 ; URN:NBN:NL:UI:10-1874-364155 ; urn:isbn:978-94-6103-066-5 ; URN:NBN:NL:UI:10-1874-364155 ; http://dspace.library.uu.nl/handle/1874/364155.

MLA Handbook (7th Edition):

Duijf, H W A. “Let's do it! : Collective responsibility, joint action, and participation.” 2018. Web. 17 Jul 2019.

Vancouver:

Duijf HWA. Let's do it! : Collective responsibility, joint action, and participation. [Internet] [Doctoral dissertation]. University Utrecht; 2018. [cited 2019 Jul 17]. Available from: http://dspace.library.uu.nl/handle/1874/364155 ; URN:NBN:NL:UI:10-1874-364155 ; urn:isbn:978-94-6103-066-5 ; URN:NBN:NL:UI:10-1874-364155 ; http://dspace.library.uu.nl/handle/1874/364155.

Council of Science Editors:

Duijf HWA. Let's do it! : Collective responsibility, joint action, and participation. [Doctoral Dissertation]. University Utrecht; 2018. Available from: http://dspace.library.uu.nl/handle/1874/364155 ; URN:NBN:NL:UI:10-1874-364155 ; urn:isbn:978-94-6103-066-5 ; URN:NBN:NL:UI:10-1874-364155 ; http://dspace.library.uu.nl/handle/1874/364155


Universidad de Salamanca

74. Moreno Gómez, Manuel Cresencio. Resúmen de tesis. Intensions, types and existence .

Degree: 2017, Universidad de Salamanca

 [ES] Esta es una disertación sobre dos preguntas: si y cómo los sentidos de las expresiones de un lenguaje pueden ser modelados matemáticamente; y sobre… (more)

Subjects/Keywords: Logic; Tesis y disertaciones académicas; Universidad de Salamanca (España); Resumen de tesis; Thesis Abstracts; Lógica simbólica y matemática; Lógica modal; Metafísica y ontología

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moreno Gómez, M. C. (2017). Resúmen de tesis. Intensions, types and existence . (Thesis). Universidad de Salamanca. Retrieved from http://hdl.handle.net/10366/137458

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

Moreno Gómez, Manuel Cresencio. “Resúmen de tesis. Intensions, types and existence .” 2017. Thesis, Universidad de Salamanca. Accessed July 17, 2019. http://hdl.handle.net/10366/137458.

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

MLA Handbook (7th Edition):

Moreno Gómez, Manuel Cresencio. “Resúmen de tesis. Intensions, types and existence .” 2017. Web. 17 Jul 2019.

Vancouver:

Moreno Gómez MC. Resúmen de tesis. Intensions, types and existence . [Internet] [Thesis]. Universidad de Salamanca; 2017. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10366/137458.

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

Council of Science Editors:

Moreno Gómez MC. Resúmen de tesis. Intensions, types and existence . [Thesis]. Universidad de Salamanca; 2017. Available from: http://hdl.handle.net/10366/137458

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

75. Młynarczyk, A.K. Aspectual Pairing in Polish.

Degree: 2004, University Utrecht

 The received view on Slavic aspect is that it is intrinsically complex, and that there is little hope of discerning any substantial regularity. We argue… (more)

Subjects/Keywords: aspect; Aktionsart; aspectual classes; verb classification; perfective; imperfective; prefixes; suffixes; modal logic; Prolog

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Młynarczyk, A. K. (2004). Aspectual Pairing in Polish. (Doctoral Dissertation). University Utrecht. Retrieved from http://dspace.library.uu.nl/handle/1874/633 ; URN:NBN:NL:UI:10-1874-633 ; URN:NBN:NL:UI:10-1874-633 ; http://dspace.library.uu.nl/handle/1874/633

Chicago Manual of Style (16th Edition):

Młynarczyk, A K. “Aspectual Pairing in Polish.” 2004. Doctoral Dissertation, University Utrecht. Accessed July 17, 2019. http://dspace.library.uu.nl/handle/1874/633 ; URN:NBN:NL:UI:10-1874-633 ; URN:NBN:NL:UI:10-1874-633 ; http://dspace.library.uu.nl/handle/1874/633.

MLA Handbook (7th Edition):

Młynarczyk, A K. “Aspectual Pairing in Polish.” 2004. Web. 17 Jul 2019.

Vancouver:

Młynarczyk AK. Aspectual Pairing in Polish. [Internet] [Doctoral dissertation]. University Utrecht; 2004. [cited 2019 Jul 17]. Available from: http://dspace.library.uu.nl/handle/1874/633 ; URN:NBN:NL:UI:10-1874-633 ; URN:NBN:NL:UI:10-1874-633 ; http://dspace.library.uu.nl/handle/1874/633.

Council of Science Editors:

Młynarczyk AK. Aspectual Pairing in Polish. [Doctoral Dissertation]. University Utrecht; 2004. Available from: http://dspace.library.uu.nl/handle/1874/633 ; URN:NBN:NL:UI:10-1874-633 ; URN:NBN:NL:UI:10-1874-633 ; http://dspace.library.uu.nl/handle/1874/633

76. Guzmán, Michell. On the expressiveness of spatial constraint systems : Sur l'expressivité des systèmes de contraintes spatiales.

Degree: Docteur es, Informatique, 2017, Paris Saclay

Les comportement épistémiques, mobiles et spatiaux sont omniprésent dans les systèmes distribués aujourd’hui. La nature intrinsèque épistémique de ces types de systèmes provient des interactions… (more)

Subjects/Keywords: Algèbres de Processus; Logique modale; Treillis; Théorie des domaines; Systèmes de contraintes; Process algebras; Modal logic; Lattices; Domain theory; Constraint Systems; 005.131

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Guzmán, M. (2017). On the expressiveness of spatial constraint systems : Sur l'expressivité des systèmes de contraintes spatiales. (Doctoral Dissertation). Paris Saclay. Retrieved from http://www.theses.fr/2017SACLX064

Chicago Manual of Style (16th Edition):

Guzmán, Michell. “On the expressiveness of spatial constraint systems : Sur l'expressivité des systèmes de contraintes spatiales.” 2017. Doctoral Dissertation, Paris Saclay. Accessed July 17, 2019. http://www.theses.fr/2017SACLX064.

MLA Handbook (7th Edition):

Guzmán, Michell. “On the expressiveness of spatial constraint systems : Sur l'expressivité des systèmes de contraintes spatiales.” 2017. Web. 17 Jul 2019.

Vancouver:

Guzmán M. On the expressiveness of spatial constraint systems : Sur l'expressivité des systèmes de contraintes spatiales. [Internet] [Doctoral dissertation]. Paris Saclay; 2017. [cited 2019 Jul 17]. Available from: http://www.theses.fr/2017SACLX064.

Council of Science Editors:

Guzmán M. On the expressiveness of spatial constraint systems : Sur l'expressivité des systèmes de contraintes spatiales. [Doctoral Dissertation]. Paris Saclay; 2017. Available from: http://www.theses.fr/2017SACLX064

77. 森岡, 竜司. アロー論理における決定可能性に関する研究.

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

Supervisor:小野 寛晰

情報科学研究科

修士

Subjects/Keywords: 様相論理,多次元様相論理,アロー論理,決定可能性; modal logic,multi-dimensional modal logic, arrow l

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

森岡, . (n.d.). アロー論理における決定可能性に関する研究. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1459

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

森岡, 竜司. “アロー論理における決定可能性に関する研究.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed July 17, 2019. http://hdl.handle.net/10119/1459.

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

森岡, 竜司. “アロー論理における決定可能性に関する研究.” Web. 17 Jul 2019.

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

Vancouver:

森岡 . アロー論理における決定可能性に関する研究. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10119/1459.

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:

森岡 . アロー論理における決定可能性に関する研究. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1459

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


University of Florida

78. Mayer, John Clyde, 1945-. Counterfactuals.

Degree: 1980, University of Florida

Subjects/Keywords: Contrafactuals; Inference; Logical antecedents; Logical consequents; Logical theorems; Modal logic; Modal realism; Semantics; Syntactical antecedents; Truth condition; Counterfactuals (Logic); Philosophy thesis Ph. D

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mayer, John Clyde, 1. (1980). Counterfactuals. (Thesis). University of Florida. Retrieved from http://ufdc.ufl.edu/AA00022259

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

Mayer, John Clyde, 1945-. “Counterfactuals.” 1980. Thesis, University of Florida. Accessed July 17, 2019. http://ufdc.ufl.edu/AA00022259.

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

MLA Handbook (7th Edition):

Mayer, John Clyde, 1945-. “Counterfactuals.” 1980. Web. 17 Jul 2019.

Vancouver:

Mayer, John Clyde 1. Counterfactuals. [Internet] [Thesis]. University of Florida; 1980. [cited 2019 Jul 17]. Available from: http://ufdc.ufl.edu/AA00022259.

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

Council of Science Editors:

Mayer, John Clyde 1. Counterfactuals. [Thesis]. University of Florida; 1980. Available from: http://ufdc.ufl.edu/AA00022259

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


University of South Africa

79. Stevenson, Lynette. Modal satisifiability in a constraint logic environment .

Degree: 2009, University of South Africa

 The modal satisfiability problem has to date been solved using either a specifically designed algorithm, or by translating the modal logic formula into a different… (more)

Subjects/Keywords: Modal satisfiability; Modal validity; Constraint satisfaction problem; Constraint solver; Tableau system; First-order translation; ECLiPSe; Modal logics K,KT,S4; Constraint logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Stevenson, L. (2009). Modal satisifiability in a constraint logic environment . (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/2030

Chicago Manual of Style (16th Edition):

Stevenson, Lynette. “Modal satisifiability in a constraint logic environment .” 2009. Doctoral Dissertation, University of South Africa. Accessed July 17, 2019. http://hdl.handle.net/10500/2030.

MLA Handbook (7th Edition):

Stevenson, Lynette. “Modal satisifiability in a constraint logic environment .” 2009. Web. 17 Jul 2019.

Vancouver:

Stevenson L. Modal satisifiability in a constraint logic environment . [Internet] [Doctoral dissertation]. University of South Africa; 2009. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10500/2030.

Council of Science Editors:

Stevenson L. Modal satisifiability in a constraint logic environment . [Doctoral Dissertation]. University of South Africa; 2009. Available from: http://hdl.handle.net/10500/2030

80. Cibele Matos Freire. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais .

Degree: Master, 2010, Universidade Federal do Ceará

Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado… (more)

Subjects/Keywords: LOGICAS E SEMANTICA DE PROGRAMAS; Complexidade descritiva; Logica modal; Logicas de ordem superior; Hierarquia determinstica de tempo exponencial; Operadores de ponto fixo; Descriptive complexity; Modal logic; Higher-order logics; Deterministic exponential time hierarchy; Fixed-point operators; Modalidade (LÃgica); LÃgica de computador; Teoria do ponto fixo; Complexidade computacional

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Freire, C. M. (2010). Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais . (Masters Thesis). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359 ;

Chicago Manual of Style (16th Edition):

Freire, Cibele Matos. “Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais .” 2010. Masters Thesis, Universidade Federal do Ceará. Accessed July 17, 2019. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359 ;.

MLA Handbook (7th Edition):

Freire, Cibele Matos. “Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais .” 2010. Web. 17 Jul 2019.

Vancouver:

Freire CM. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais . [Internet] [Masters thesis]. Universidade Federal do Ceará 2010. [cited 2019 Jul 17]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359 ;.

Council of Science Editors:

Freire CM. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais . [Masters Thesis]. Universidade Federal do Ceará 2010. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359 ;


Pontifical Catholic University of Rio de Janeiro

81. JULIANA CARPES IMPERIAL. [en] TRUST IN INTELLIGENT AGENTS.

Degree: 2008, Pontifical Catholic University of Rio de Janeiro

[pt] Confiança é um aspecto fundamental em sistemas distribuídos abertos de larga-escala. Ela está no núcleo de todas as interações entre as entidades que precisam… (more)

Subjects/Keywords: [pt] AGENTE INTELIGENTE; [en] INTELLIGENT AGENT; [pt] INTELIGENCIA ARTIFICIAL; [en] ARTIFICIAL INTELLIGENCE; [pt] LOGICA MODAL; [en] LOGIC MODAL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

IMPERIAL, J. C. (2008). [en] TRUST IN INTELLIGENT AGENTS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=11487

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

IMPERIAL, JULIANA CARPES. “[en] TRUST IN INTELLIGENT AGENTS.” 2008. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed July 17, 2019. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=11487.

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

MLA Handbook (7th Edition):

IMPERIAL, JULIANA CARPES. “[en] TRUST IN INTELLIGENT AGENTS.” 2008. Web. 17 Jul 2019.

Vancouver:

IMPERIAL JC. [en] TRUST IN INTELLIGENT AGENTS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2008. [cited 2019 Jul 17]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=11487.

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

Council of Science Editors:

IMPERIAL JC. [en] TRUST IN INTELLIGENT AGENTS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2008. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=11487

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


Université de Montréal

82. Peterson, Clayton. La logique déontique : une application de la logique à l'éthique et au discours juridique .

Degree: 2012, Université de Montréal

 Ce mémoire se veut une synthèse critique de la littérature portant sur la logique déontique. Le premier objectif est d'y présenter un aperçu historique de… (more)

Subjects/Keywords: Logique déontique; Discours normatif; Paradoxes; Logique modale; Systèmes standards; Modèle sémantique du discours juridique; Système normatif; Inférence normative; Deontic logic; Normative discourse; Paradoxes; Modal logic; Standard systems; Semantical analysis of legal discourse; Normative system; Normative inference

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Peterson, C. (2012). La logique déontique : une application de la logique à l'éthique et au discours juridique . (Thesis). Université de Montréal. Retrieved from http://hdl.handle.net/1866/6915

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

Peterson, Clayton. “La logique déontique : une application de la logique à l'éthique et au discours juridique .” 2012. Thesis, Université de Montréal. Accessed July 17, 2019. http://hdl.handle.net/1866/6915.

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

MLA Handbook (7th Edition):

Peterson, Clayton. “La logique déontique : une application de la logique à l'éthique et au discours juridique .” 2012. Web. 17 Jul 2019.

Vancouver:

Peterson C. La logique déontique : une application de la logique à l'éthique et au discours juridique . [Internet] [Thesis]. Université de Montréal; 2012. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/1866/6915.

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

Council of Science Editors:

Peterson C. La logique déontique : une application de la logique à l'éthique et au discours juridique . [Thesis]. Université de Montréal; 2012. Available from: http://hdl.handle.net/1866/6915

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

83. 秦野, 亮. マルチエージェント・コミュニケーションのための様相論理に関する線形代数的意味論.

Degree: 博士(情報科学), 2017, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor東条 敏

情報科学研究科

博士

Subjects/Keywords: Modal logic; Dynamic logic of relation changers; Linear algebraireformulation of Kripke semantics; Labelled sequent calculus; Channel based agent communication

Page 1 Page 2

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

秦野, . (2017). マルチエージェント・コミュニケーションのための様相論理に関する線形代数的意味論. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/14247

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

秦野, 亮. “マルチエージェント・コミュニケーションのための様相論理に関する線形代数的意味論.” 2017. Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed July 17, 2019. http://hdl.handle.net/10119/14247.

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

MLA Handbook (7th Edition):

秦野, 亮. “マルチエージェント・コミュニケーションのための様相論理に関する線形代数的意味論.” 2017. Web. 17 Jul 2019.

Vancouver:

秦野 . マルチエージェント・コミュニケーションのための様相論理に関する線形代数的意味論. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; 2017. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10119/14247.

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

Council of Science Editors:

秦野 . マルチエージェント・コミュニケーションのための様相論理に関する線形代数的意味論. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; 2017. Available from: http://hdl.handle.net/10119/14247

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


University of South Africa

84. Van der Vyver, Thelma. Proof systems for propositional modal logic.

Degree: 1997, University of South Africa

 In classical propositional logic (CPL) logical reasoning is formalised as logical entailment and can be computed by means of tableau and resolution proof procedures. Unfortunately… (more)

Subjects/Keywords: Classical propositional logic; Propositional modal logic; Resolution proof systems; Tableau proof systems; Local logical entailment; Global logical entailment

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Van der Vyver, T. (1997). Proof systems for propositional modal logic. (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/16280

Chicago Manual of Style (16th Edition):

Van der Vyver, Thelma. “Proof systems for propositional modal logic.” 1997. Masters Thesis, University of South Africa. Accessed July 17, 2019. http://hdl.handle.net/10500/16280.

MLA Handbook (7th Edition):

Van der Vyver, Thelma. “Proof systems for propositional modal logic.” 1997. Web. 17 Jul 2019.

Vancouver:

Van der Vyver T. Proof systems for propositional modal logic. [Internet] [Masters thesis]. University of South Africa; 1997. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10500/16280.

Council of Science Editors:

Van der Vyver T. Proof systems for propositional modal logic. [Masters Thesis]. University of South Africa; 1997. Available from: http://hdl.handle.net/10500/16280


Université de Lorraine

85. Bakhtiarinoodeh, Zeinab. The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra : La dynamique de l'information incomplète et incohérente : applications de la logique, de l'algèbre et de la coalgèbre.

Degree: Docteur es, Informatique, 2017, Université de Lorraine

Cette thèse est structurée autour de deux axes d’études : (1) développer des logiques épistémiques formalisant la prise en compte de nouvelles données en présence… (more)

Subjects/Keywords: Informations incomplètes; Informations incohérentes; Logiques modales; Logique épistémique dynamique; Modèle de voisinage; Logique de contingence; Co-algèbre; Bisimulation; Incomplete knowledge; Inconsistent knowledge; Modal logics; Dynamic epistemic logic; Neighbourhood model; Contingency logic; Coalgebra; Bisimulation; 004.015 113

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bakhtiarinoodeh, Z. (2017). The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra : La dynamique de l'information incomplète et incohérente : applications de la logique, de l'algèbre et de la coalgèbre. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2017LORR0208

Chicago Manual of Style (16th Edition):

Bakhtiarinoodeh, Zeinab. “The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra : La dynamique de l'information incomplète et incohérente : applications de la logique, de l'algèbre et de la coalgèbre.” 2017. Doctoral Dissertation, Université de Lorraine. Accessed July 17, 2019. http://www.theses.fr/2017LORR0208.

MLA Handbook (7th Edition):

Bakhtiarinoodeh, Zeinab. “The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra : La dynamique de l'information incomplète et incohérente : applications de la logique, de l'algèbre et de la coalgèbre.” 2017. Web. 17 Jul 2019.

Vancouver:

Bakhtiarinoodeh Z. The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra : La dynamique de l'information incomplète et incohérente : applications de la logique, de l'algèbre et de la coalgèbre. [Internet] [Doctoral dissertation]. Université de Lorraine; 2017. [cited 2019 Jul 17]. Available from: http://www.theses.fr/2017LORR0208.

Council of Science Editors:

Bakhtiarinoodeh Z. The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra : La dynamique de l'information incomplète et incohérente : applications de la logique, de l'algèbre et de la coalgèbre. [Doctoral Dissertation]. Université de Lorraine; 2017. Available from: http://www.theses.fr/2017LORR0208


Arizona State University

86. Gelfond, Gregory. Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach.

Degree: Computer Science, 2018, Arizona State University

Subjects/Keywords: Computer science; Artificial intelligence; Logic; Action Languages; Answer Set Programming; Artificial Intelligence; Knowledge Representation; Modal Logic; Multi-Agent Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gelfond, G. (2018). Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach. (Doctoral Dissertation). Arizona State University. Retrieved from http://repository.asu.edu/items/49093

Chicago Manual of Style (16th Edition):

Gelfond, Gregory. “Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach.” 2018. Doctoral Dissertation, Arizona State University. Accessed July 17, 2019. http://repository.asu.edu/items/49093.

MLA Handbook (7th Edition):

Gelfond, Gregory. “Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach.” 2018. Web. 17 Jul 2019.

Vancouver:

Gelfond G. Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach. [Internet] [Doctoral dissertation]. Arizona State University; 2018. [cited 2019 Jul 17]. Available from: http://repository.asu.edu/items/49093.

Council of Science Editors:

Gelfond G. Representing and Reasoning about Dynamic Multi-Agent Domains: An Action Language Approach. [Doctoral Dissertation]. Arizona State University; 2018. Available from: http://repository.asu.edu/items/49093

87. 今井, 英明. 時間論理とその情報科学への応用.

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

Supervisor:小野 寛晰

情報科学研究科

修士

Subjects/Keywords: 様相論理, 時間論理, 認識論理, 完全性, 有限モデル性; modal logic, temporal logic, epistemic logic, epis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

今井, . (n.d.). 時間論理とその情報科学への応用. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1529

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

今井, 英明. “時間論理とその情報科学への応用.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed July 17, 2019. http://hdl.handle.net/10119/1529.

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

今井, 英明. “時間論理とその情報科学への応用.” Web. 17 Jul 2019.

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

Vancouver:

今井 . 時間論理とその情報科学への応用. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10119/1529.

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:

今井 . 時間論理とその情報科学への応用. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1529

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


University of New South Wales

88. Ditu, Gabriel Cristian. The programming language TransLucid.

Degree: Computer Science & Engineering, 2007, University of New South Wales

 This thesis presents TransLucid, a low-level, purely declarative, intensional programming language. Built on a simple algebra and with just a small number of primitives, TransLucid… (more)

Subjects/Keywords: TransLucid; Lucid (Computer program language); Intensional programming; Cartesian programming; Declarative programming; Programming language semantics; Programming language translation; Modal logic; Intensional logic; Modality (Logic)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ditu, G. C. (2007). The programming language TransLucid. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/40701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:1482/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Ditu, Gabriel Cristian. “The programming language TransLucid.” 2007. Doctoral Dissertation, University of New South Wales. Accessed July 17, 2019. http://handle.unsw.edu.au/1959.4/40701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:1482/SOURCE02?view=true.

MLA Handbook (7th Edition):

Ditu, Gabriel Cristian. “The programming language TransLucid.” 2007. Web. 17 Jul 2019.

Vancouver:

Ditu GC. The programming language TransLucid. [Internet] [Doctoral dissertation]. University of New South Wales; 2007. [cited 2019 Jul 17]. Available from: http://handle.unsw.edu.au/1959.4/40701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:1482/SOURCE02?view=true.

Council of Science Editors:

Ditu GC. The programming language TransLucid. [Doctoral Dissertation]. University of New South Wales; 2007. Available from: http://handle.unsw.edu.au/1959.4/40701 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:1482/SOURCE02?view=true


Vrije Universiteit Amsterdam

89. Hansen, H.H. Coalgebraic Modelling : Applications in Automata theory and Modal logic .

Degree: 2009, Vrije Universiteit Amsterdam

Subjects/Keywords: Coalgebraic modelling and synthesis of sequential machines. Coalgebraic modal logic and basic model theory for neighbourhood-like structures; coalgebra; automata; bitstream function; synthesis; subsequential transducer; bisimilarity; neighbourhood semantics; classical modal logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hansen, H. H. (2009). Coalgebraic Modelling : Applications in Automata theory and Modal logic . (Doctoral Dissertation). Vrije Universiteit Amsterdam. Retrieved from http://hdl.handle.net/1871/13247

Chicago Manual of Style (16th Edition):

Hansen, H H. “Coalgebraic Modelling : Applications in Automata theory and Modal logic .” 2009. Doctoral Dissertation, Vrije Universiteit Amsterdam. Accessed July 17, 2019. http://hdl.handle.net/1871/13247.

MLA Handbook (7th Edition):

Hansen, H H. “Coalgebraic Modelling : Applications in Automata theory and Modal logic .” 2009. Web. 17 Jul 2019.

Vancouver:

Hansen HH. Coalgebraic Modelling : Applications in Automata theory and Modal logic . [Internet] [Doctoral dissertation]. Vrije Universiteit Amsterdam; 2009. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/1871/13247.

Council of Science Editors:

Hansen HH. Coalgebraic Modelling : Applications in Automata theory and Modal logic . [Doctoral Dissertation]. Vrije Universiteit Amsterdam; 2009. Available from: http://hdl.handle.net/1871/13247


Université du Luxembourg

90. Teheux, Bruno. Algebraic approach to modal extensions of Łukasiewicz logics.

Degree: 2009, Université du Luxembourg

Subjects/Keywords: modal logic; many-valued logic; relational semantic; Physical, chemical, mathematical & earth Sciences :: Mathematics [G03]; Physique, chimie, mathématiques & sciences de la terre :: Mathématiques [G03]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Teheux, B. (2009). Algebraic approach to modal extensions of Łukasiewicz logics. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/7569

Chicago Manual of Style (16th Edition):

Teheux, Bruno. “Algebraic approach to modal extensions of Łukasiewicz logics.” 2009. Doctoral Dissertation, Université du Luxembourg. Accessed July 17, 2019. http://orbilu.uni.lu/handle/10993/7569.

MLA Handbook (7th Edition):

Teheux, Bruno. “Algebraic approach to modal extensions of Łukasiewicz logics.” 2009. Web. 17 Jul 2019.

Vancouver:

Teheux B. Algebraic approach to modal extensions of Łukasiewicz logics. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2009. [cited 2019 Jul 17]. Available from: http://orbilu.uni.lu/handle/10993/7569.

Council of Science Editors:

Teheux B. Algebraic approach to modal extensions of Łukasiewicz logics. [Doctoral Dissertation]. Université du Luxembourg; 2009. Available from: http://orbilu.uni.lu/handle/10993/7569

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

.